diff --git a/run-tests.php b/run-tests.php index 84b43866fe076..6e551f4bb4be6 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1015,7 +1015,7 @@ function test_sort($a, $b) junit_save_xml(); if (getenv('REPORT_EXIT_STATUS') !== '0' && getenv('REPORT_EXIT_STATUS') !== 'no' && - ($sum_results['FAILED'] || $sum_results['LEAKED'])) { + ($sum_results['FAILED'] || $sum_results['BORKED'] || $sum_results['LEAKED'])) { exit(1); } exit(0);