summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRemi Collet <remi@php.net>2012-11-26 13:04:04 +0100
committerRemi Collet <remi@php.net>2012-11-26 13:04:04 +0100
commitdfa5ca2b8dbaf0e4400dce8bcb156821aec384ce (patch)
tree08fb04b0c2f54f5acd974240faf48ed78276f92b
parentf4a8612561b5b446d563901a3f13edf9e6298267 (diff)
parent01a86eae8cc8988c331d8250b44798cc85dd76da (diff)
downloadphp-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-xrun-tests.php14
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);
}