diff options
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index 8c8df610b8..54a12a177d 100755 --- a/run-tests.php +++ b/run-tests.php @@ -601,6 +601,15 @@ if (isset($argc) && $argc > 1) { putenv("TEST_PHP_EXECUTABLE=$php"); $environment['TEST_PHP_EXECUTABLE'] = $php; break; + case 'P': + if(constant('PHP_BINARY')) { + $php = PHP_BINARY; + } else { + break; + } + putenv("TEST_PHP_EXECUTABLE=$php"); + $environment['TEST_PHP_EXECUTABLE'] = $php; + break; case 'q': putenv('NO_INTERACTION=1'); break; @@ -690,6 +699,8 @@ Options: -p <php> Specify PHP executable to run. + -P Use PHP_BINARY as PHP executable to run. + -q Quiet, no user interaction (same as environment NO_INTERACTION). -s <file> Write output to <file>. |