diff options
| -rwxr-xr-x | run-tests.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-tests.php b/run-tests.php index 647d337a1e..cc6e660c78 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1188,7 +1188,7 @@ TEST $file } else { $env['USE_ZEND_ALLOC'] = '1'; } - $output = system_with_timeout("$extra $php -q $ini_settings $test_skipif", $env); + $output = system_with_timeout("$extra $php $pass_options -q $ini_settings $test_skipif", $env); if (!$cfg['keep']['skip']) { @unlink($test_skipif); } @@ -1396,7 +1396,7 @@ COMMAND $cmd settings2params($clean_params); $extra = substr(PHP_OS, 0, 3) !== "WIN" ? "unset REQUEST_METHOD; unset QUERY_STRING; unset PATH_TRANSLATED; unset SCRIPT_FILENAME; unset REQUEST_METHOD;": ""; - system_with_timeout("$extra $php -q $clean_params $test_clean", $env); + system_with_timeout("$extra $php $pass_options -q $clean_params $test_clean", $env); } if (!$cfg['keep']['clean']) { @unlink($test_clean); |