diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2017-02-12 00:19:17 +0100 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2017-02-12 00:19:36 +0100 |
| commit | 981c58705ada3f645232afa490ac334bc27306ae (patch) | |
| tree | 0e2fda30bd8d61b96fac87486c0ef379c44b3378 | |
| parent | 7e5cf2aa194a45470efe1fbe590ebff74034df14 (diff) | |
| download | php-git-981c58705ada3f645232afa490ac334bc27306ae.tar.gz | |
run-tests: Exit 1 on BORKED tests
| -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 fd34934389..f256803657 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); |