diff options
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index f2f1e1a230..ed5e3c9f84 100755 --- a/run-tests.php +++ b/run-tests.php @@ -74,7 +74,7 @@ if (isset($_ENV['TEST_PHP_LOG_FORMAT'])) { $log_format = 'LEOD'; } -if (!@is_executable($php)) { +if (function_exists('is_executable') && !@is_executable($php)) { error("invalid PHP executable specified by TEST_PHP_EXECUTABLE = " . $php); } |