diff options
author | Joe Watkins <krakjoe@php.net> | 2017-10-29 04:37:55 +0000 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2017-10-29 04:37:55 +0000 |
commit | 6c90612d13f91363a752a997c3354d1032ea097a (patch) | |
tree | 8687ba31ff456d5808963e759a8248ebf6b33451 | |
parent | 27856f64c332752cbc6874327ebbe161294b9637 (diff) | |
parent | 59d413ceb84f9bb83536f5c716dd49090663d84c (diff) | |
download | php-git-6c90612d13f91363a752a997c3354d1032ea097a.tar.gz |
Merge branch 'PHP-7.0' into PHP-7.1
* PHP-7.0:
make sure run-tests reports exit status upon prerequisite error
-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 4f0c793260..7fbc77ceb7 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. |