diff options
author | Nicolas Williams <nico@twosigma.com> | 2016-02-04 17:02:01 -0600 |
---|---|---|
committer | Nicolas Williams <nico@twosigma.com> | 2016-02-26 00:55:31 -0600 |
commit | 96859fe687aefc3cf0005fb57d565fd86c651606 (patch) | |
tree | e7260ffd191612104c511f14611e06b67fbcd416 /cf | |
parent | abafa0a0a0f95054e92b7f8602a8cae7ea8e3b6c (diff) |
maybe-valgrind.sh: don't --trace-children=yes
Diffstat (limited to 'cf')
-rwxr-xr-x | cf/maybe-valgrind.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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 |