diff options
author | Joe Watkins <krakjoe@php.net> | 2017-10-29 04:38:08 +0000 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2017-10-29 04:38:08 +0000 |
commit | cb04599d27e76bfb5548ccc8816ef66e25e009db (patch) | |
tree | a51654340ff57c1570753066ff468dcaef4b6d86 /run-tests.php | |
parent | 58f90ab569b1a6fb5842dfa514794ace907ac35b (diff) | |
parent | 6c90612d13f91363a752a997c3354d1032ea097a (diff) | |
download | php-git-cb04599d27e76bfb5548ccc8816ef66e25e009db.tar.gz |
Merge branch 'PHP-7.1' into PHP-7.2
* PHP-7.1:
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 a32db44bf8..1ee605031d 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); } // If timezone is not set, use UTC. |