1 files changed, 1 insertions, 1 deletions

diff --git a/run-tests.php b/run-tests.php
index 27a5e82d85..1dcd432682 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -784,7 +784,7 @@ function main(): void
 
     $junit->saveXML();
     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);
     }
 }