diff --git a/cf/maybe-valgrind.sh b/cf/maybe-valgrind.sh index 0ffa7ed98..4077a3278 100755 --- a/cf/maybe-valgrind.sh +++ b/cf/maybe-valgrind.sh @@ -56,7 +56,7 @@ doit=1 libtool="${tobjdir}/libtool --mode=execute" -valgrind="valgrind --leak-check=full --trace-children=yes --quiet -q --num-callers=30 --suppressions=${tsrcdir}/cf/valgrind-suppressions" +valgrind="valgrind --leak-check=full --quiet -q --num-callers=30 --suppressions=${tsrcdir}/cf/valgrind-suppressions" if head -10 "$1" | grep 'Generated by ltmain.sh' > /dev/null ; then uselibtool=1