diff options
author | Stanislav Malyshev <stas@php.net> | 2013-08-18 14:08:03 -0700 |
---|---|---|
committer | Stanislav Malyshev <stas@php.net> | 2013-08-18 14:08:03 -0700 |
commit | 3da2fb335db1f8ed64967164e090688ba0eb793d (patch) | |
tree | 4fa79a5d74ab3a21aaca6634562b051877808e85 | |
parent | ac2d2b9b72d568fdd3d548d8fb22a85182a910a9 (diff) | |
download | php-git-3da2fb335db1f8ed64967164e090688ba0eb793d.tar.gz |
Add -P option to use the current binary
-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 830dcd759b..935f821f4e 100755 --- a/run-tests.php +++ b/run-tests.php @@ -597,6 +597,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; @@ -686,6 +695,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>. |