summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorStanislav Malyshev <stas@php.net>2013-08-18 14:08:03 -0700
committerStanislav Malyshev <stas@php.net>2013-08-18 14:08:03 -0700
commit3da2fb335db1f8ed64967164e090688ba0eb793d (patch)
tree4fa79a5d74ab3a21aaca6634562b051877808e85
parentac2d2b9b72d568fdd3d548d8fb22a85182a910a9 (diff)
downloadphp-git-3da2fb335db1f8ed64967164e090688ba0eb793d.tar.gz
Add -P option to use the current binary
-rwxr-xr-xrun-tests.php11
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>.