diff options
author | Joe Watkins <krakjoe@php.net> | 2017-10-29 04:37:21 +0000 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2017-10-29 04:37:21 +0000 |
commit | 59d413ceb84f9bb83536f5c716dd49090663d84c (patch) | |
tree | 4e0eda39e89236c23fd206be7cfd7dbc9ac04aa2 /run-tests.php | |
parent | 938f256ed90ea8b2e371ab6a50b953aa84d2c5f8 (diff) | |
download | php-git-59d413ceb84f9bb83536f5c716dd49090663d84c.tar.gz |
make sure run-tests reports exit status upon prerequisite error
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/run-tests.php b/run-tests.php index d50e4b7861..333b5179c4 100755 --- a/run-tests.php +++ b/run-tests.php @@ -43,7 +43,7 @@ if (!extension_loaded('pcre')) { +-----------------------------------------------------------+ NO_PCRE_ERROR; -exit; +exit(1); } if (!function_exists('proc_open')) { @@ -56,7 +56,7 @@ if (!function_exists('proc_open')) { +-----------------------------------------------------------+ NO_PROC_OPEN_ERROR; -exit; +exit(1); } // Version constants only available as of 5.2.8 |