com php-src: run-tests: Exit 1 on BORKED tests: run-tests.php

Commit:    981c58705ada3f645232afa490ac334bc27306ae
Author:    Nikita Popov <[email protected]>         Sun, 12 Feb 2017 00:19:17 +0100
Parents:   7e5cf2aa194a45470efe1fbe590ebff74034df14
Branches:  PHP-7.0 PHP-7.1 master

Link:       http://git.php.net/?p=php-src.git;a=commitdiff;h=981c58705ada3f645232afa490ac334bc27306ae

Log:
run-tests: Exit 1 on BORKED tests

Changed paths:
  M  run-tests.php


Diff:
diff --git a/run-tests.php b/run-tests.php
index fd34934..f256803 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -873,7 +873,7 @@ HELP;
 
 		junit_save_xml();
 
-		if (getenv('REPORT_EXIT_STATUS') == 1 and $sum_results['FAILED']) {
+		if (getenv('REPORT_EXIT_STATUS') == 1 && ($sum_results['FAILED'] || $sum_results['BORKED'])) {
 			exit(1);
 		}
 
@@ -1009,7 +1009,7 @@ save_or_mail_results();
 
 junit_save_xml();
 
-if (getenv('REPORT_EXIT_STATUS') == 1 and $sum_results['FAILED']) {
+if (getenv('REPORT_EXIT_STATUS') == 1 && ($sum_results['FAILED'] || $sum_results['BORKED'])) {
 	exit(1);
 }
 exit(0);