From 96859fe687aefc3cf0005fb57d565fd86c651606 Mon Sep 17 00:00:00 2001 From: Nicolas Williams Date: Thu, 4 Feb 2016 17:02:01 -0600 Subject: [PATCH] maybe-valgrind.sh: don't --trace-children=yes --- cf/maybe-valgrind.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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