summaryrefslogtreecommitdiff
path: root/run-tests.php
diff options
context:
space:
mode:
authorHannes Magnusson <bjori@10gen.com>2012-07-17 10:04:56 +0100
committerHannes Magnusson <bjori@10gen.com>2012-07-17 10:04:56 +0100
commit88f7f3c00fba1aea5e5ca7d0f01b31bc2e8bf275 (patch)
tree685cb09be4da593b553a5dd6f33c93d95d138d4a /run-tests.php
parent86b4252c8e4d6fe17a9fb82f000d64627705b972 (diff)
downloadphp-git-88f7f3c00fba1aea5e5ca7d0f01b31bc2e8bf275.tar.gz
Do not unload shared extensions when checking for leaks
Diffstat (limited to 'run-tests.php')
-rwxr-xr-xrun-tests.php4
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 "