11 | @@ -12,7 +12,11 @@ for b_name in "${BASE_OUTDIR}/bin"/*; do
12 | echo "Wrap $b ..."
13 | mv "$b" "${b}_orig"
14 | echo '#!/usr/bin/env bash' > "$b"
15 | - echo "valgrind --gen-suppressions=all --quiet --error-exitcode=1 --suppressions=${BASE_ROOT_DIR}/contrib/valgrind.supp \"${b}_orig\" \"\$@\"" >> "$b"
16 | + if [ -n "$USE_VALGRIND" ]; then
Not sure I fully understand the consequences here, but do we want to replace the files with empty ones when USE_VALGRIND is false?
Shouldn't we execute the old ones in that case?