diff options
author | Remi Collet <remi@php.net> | 2012-11-26 13:04:04 +0100 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2012-11-26 13:04:04 +0100 |
commit | dfa5ca2b8dbaf0e4400dce8bcb156821aec384ce (patch) | |
tree | 08fb04b0c2f54f5acd974240faf48ed78276f92b | |
parent | f4a8612561b5b446d563901a3f13edf9e6298267 (diff) | |
parent | 01a86eae8cc8988c331d8250b44798cc85dd76da (diff) | |
download | php-git-dfa5ca2b8dbaf0e4400dce8bcb156821aec384ce.tar.gz |
Merge branch 'PHP-5.5' of git.php.net:php-src into PHP-5.5
* 'PHP-5.5' of git.php.net:php-src:
count($test_files) already be checked above : if ($test_cnt)
-rwxr-xr-x | run-tests.php | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/run-tests.php b/run-tests.php index 43470d0d8a..8b7fa7f8be 100755 --- a/run-tests.php +++ b/run-tests.php @@ -802,14 +802,12 @@ HELP; fclose($failed_tests_file); } - if (count($test_files) || count($test_results)) { - compute_summary(); - if ($html_output) { - fwrite($html_file, "<hr/>\n" . get_summary(false, true)); - } - echo "====================================================================="; - echo get_summary(false, false); + compute_summary(); + if ($html_output) { + fwrite($html_file, "<hr/>\n" . get_summary(false, true)); } + echo "====================================================================="; + echo get_summary(false, false); if ($html_output) { fclose($html_file); @@ -821,7 +819,7 @@ HELP; junit_save_xml(); - if (getenv('REPORT_EXIT_STATUS') == 1 and preg_match('/ FAILED(?: |$)/', implode(' ', $test_results))) { + if (getenv('REPORT_EXIT_STATUS') == 1 and $sum_results['FAILED']) { exit(1); } |