travis: Explicitly set --with-valgrind

Also set --with-valgrind=no once
2020-09-21 07:47:40 +00:00
parent d7838ba6a6
commit 66a765c775
2 changed files with 3 additions and 2 deletions
--- a/contrib/travis.sh
+++ b/contrib/travis.sh
@@ -18,6 +18,7 @@ fi
    --enable-ecmult-static-precomputation="$STATICPRECOMPUTATION" --with-ecmult-gen-precision="$ECMULTGENPRECISION" \
    --enable-module-ecdh="$ECDH" --enable-module-recovery="$RECOVERY" \
    --enable-module-schnorrsig="$SCHNORRSIG" \
+    --with-valgrind="$WITH_VALGRIND" \
    --host="$HOST" $EXTRAFLAGS

 if [ -n "$BUILD" ]