1 files changed, 1 insertions, 1 deletions

diff --git a/run-tests.php b/run-tests.php
index 21f9726f1e..34fc65e6c5 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -803,7 +803,7 @@ function main(): void
 
     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);
     }
 }