diff options
| -rwxr-xr-x | run-tests.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/run-tests.php b/run-tests.php index a7e978ef87..6d1aca85cb 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1330,9 +1330,10 @@ TEST $file } if ($leak_check) { - $cmd = "USE_ZEND_ALLOC=0 valgrind -q --tool=memcheck --trace-children=yes --log-file-exactly=$memcheck_filename $cmd"; + $env['USE_ZEND_ALLOC'] = '0'; + $cmd = "valgrind -q --tool=memcheck --trace-children=yes --log-file-exactly=$memcheck_filename $cmd"; } else { - $cmd = "USE_ZEND_ALLOC=1 ".$cmd; + $env['USE_ZEND_ALLOC'] = '1'; } if ($DETAILED) echo " |