diff options
author | Gabriel Caruso <carusogabriel34@gmail.com> | 2018-08-03 00:13:01 -0300 |
---|---|---|
committer | Gabriel Caruso <carusogabriel34@gmail.com> | 2018-08-03 00:13:01 -0300 |
commit | 0e0019f6940a252d5fa761b09e859a5d75b24545 (patch) | |
tree | db1b81282c1c49d045ad441434793ee6cc74935b /run-tests.php | |
parent | 7b184d320cf7224f77ace3b0ff3d78cb53b7fe68 (diff) | |
download | php-git-0e0019f6940a252d5fa761b09e859a5d75b24545.tar.gz |
Remove superfluous checks of always available functions
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"); } } |