1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php
index 84b43866fe..6e551f4bb4 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -1015,7 +1015,7 @@ save_or_mail_results();
 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);