diff --git a/run-tests.php b/run-tests.php index a32db44bf83..1ee605031dd 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.