diff options
author | Hannes Magnusson <bjori@10gen.com> | 2012-07-17 10:04:56 +0100 |
---|---|---|
committer | Hannes Magnusson <bjori@10gen.com> | 2012-07-17 10:04:56 +0100 |
commit | 88f7f3c00fba1aea5e5ca7d0f01b31bc2e8bf275 (patch) | |
tree | 685cb09be4da593b553a5dd6f33c93d95d138d4a | |
parent | 86b4252c8e4d6fe17a9fb82f000d64627705b972 (diff) | |
download | php-git-88f7f3c00fba1aea5e5ca7d0f01b31bc2e8bf275.tar.gz |
Do not unload shared extensions when checking for leaks
-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 " |