diff options
Diffstat (limited to 'run-tests.php')
| -rwxr-xr-x | run-tests.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 302167a6e5..cfc562ebc1 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1478,8 +1478,10 @@ TEST $file if ($leak_check) { $env['USE_ZEND_ALLOC'] = '0'; + $env['ZEND_DONT_UNLOAD_MODULES'] = 1; } else { $env['USE_ZEND_ALLOC'] = '1'; + $env['ZEND_DONT_UNLOAD_MODULES'] = 0; } junit_start_timer($shortname); @@ -1746,6 +1748,7 @@ TEST $file if ($leak_check) { $env['USE_ZEND_ALLOC'] = '0'; + $env['ZEND_DONT_UNLOAD_MODULES'] = 1; if ($valgrind_version >= 330) { /* valgrind 3.3.0+ doesn't have --log-file-exactly option */ @@ -1756,6 +1759,7 @@ TEST $file } else { $env['USE_ZEND_ALLOC'] = '1'; + $env['ZEND_DONT_UNLOAD_MODULES'] = 0; } if ($DETAILED) echo " |