diff options
| -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 8d009b3788..5d98d0bea1 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1328,7 +1328,7 @@ TEST $file } if ($leak_check) { - $cmd = "valgrind -q --tool=memcheck --trace-children=yes --log-file-exactly=$memcheck_filename $cmd"; + $cmd = "USE_ZEND_ALLOC=0 valgrind -q --tool=memcheck --trace-children=yes --leak-check=yes --log-file-exactly=$memcheck_filename $cmd"; } if ($DETAILED) echo " |