diff options
Diffstat (limited to 'run-tests.php')
| -rw-r--r-- | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index c47770ca06..554f014a25 100644 --- a/run-tests.php +++ b/run-tests.php @@ -205,7 +205,7 @@ function verify_config() error('environment variable TEST_PHP_EXECUTABLE must be set to specify PHP executable!'); } - if (function_exists('is_executable') && !is_executable($php)) { + if (!is_executable($php)) { error("invalid PHP executable specified by TEST_PHP_EXECUTABLE = $php"); } } |