diff options
| -rwxr-xr-x | run-tests.php | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index ba49ca83b1..56345c916f 100755 --- a/run-tests.php +++ b/run-tests.php @@ -112,7 +112,11 @@ SAFE_MODE_WARNING; if (getenv('TEST_PHP_EXECUTABLE')) { $php = getenv('TEST_PHP_EXECUTABLE'); -} else { + if ($php=='auto') { + $php = $cwd.'/sapi/cli/php'; + } +} +if (!file_exists($php)) { error("environment variable TEST_PHP_EXECUTABLE must be set to specify PHP executable!"); } |