diff options
Diffstat (limited to 'selftest')
-rwxr-xr-x | selftest/valgrind_run | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/selftest/valgrind_run b/selftest/valgrind_run index 5171d171a74..f06fa8629f8 100755 --- a/selftest/valgrind_run +++ b/selftest/valgrind_run @@ -4,6 +4,10 @@ ENV="$1" shift 1 -CMD="$ENV valgrind -q --db-attach=yes --num-callers=30 $@" +CMD="$ENV valgrind --num-callers=30 +--trace-children=yes --log-file=valgrind.%p.log +${VALGRIND_OPT- --time-stamp=yes --track-fds=yes --read-var-info=yes --track-origins=yes --leak-check=yes} +$@" + echo $CMD eval $CMD |