1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php
index ce16b4fbf0..c68982889a 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -797,7 +797,7 @@ HELP;
 
     junit_save_xml();
     if (getenv('REPORT_EXIT_STATUS') !== '0' &&
-        getenv('REPORT_EXIT_STATUS') !== 'no' && ($sum_results['FAILED'] || $sum_results['LEAKED'])) {
+        getenv('REPORT_EXIT_STATUS') !== 'no' && ($sum_results['FAILED'] || $sum_results['BORKED'] || $sum_results['LEAKED'])) {
         exit(1);
     }
     exit(0);