diff --git a/run-tests.php b/run-tests.php index 4f3b42b5660..d0e6df38bf8 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1380,7 +1380,7 @@ TEST $file } if ($leak_check) { - $cmd = "valgrind -q --tool=memcheck --log-file-exactly=$memcheck_filename $cmd"; + $cmd = "valgrind -q --tool=memcheck --trace-children=yes --log-file-exactly=$memcheck_filename $cmd"; } if ($DETAILED) echo "