diff options
Diffstat (limited to 'run-tests.php')
-rwxr-xr-x | run-tests.php | 2 |
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); } } |