configure: Enable counters plugin also if vici is enabled but stroke is disabled

diff --git a/configure.ac b/configure.ac
index c1de0ad335324ef0ac37e77af73e2bb63623764c..f6e8701d07e0d410c1d8547da0edcd28d716b608 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -515,7 +515,7 @@ if test x$gmp = xtrue -o x$ntru = xtrue -o x$bliss = xtrue; then
        mgf1=true
 fi
 
-if test x$stroke = xtrue; then
+if test x$stroke = xtrue -o x$vici = xtrue; then
        counters=true
 fi