diff options
author | Nuno Lopes <nlopess@php.net> | 2006-07-17 11:43:48 +0000 |
---|---|---|
committer | Nuno Lopes <nlopess@php.net> | 2006-07-17 11:43:48 +0000 |
commit | 46c036cd4d1c8e1cf20e66d91f0f8e02952e6783 (patch) | |
tree | 723068c11be9ae19230bc64e8208ac3218bf371c /run-tests.php | |
parent | 7a385098354f773c173d47e3844845aea9ccca18 (diff) | |
download | php-git-46c036cd4d1c8e1cf20e66d91f0f8e02952e6783.tar.gz |
make valgrind trace child processes. useful for the PCNTL extension (fork()), for example
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index ab3cb7271a..8d009b3788 100755 --- 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 " |