make valgrind trace child processes. useful for the PCNTL extension (fork()), for...

diff --git a/run-tests.php b/run-tests.php
index ab3cb7271a569de5a4c8e9222ef65331304bdca4..8d009b3788367610418b07926ed500654eaf6925 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -1328,7 +1328,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 "