diff options
Diffstat (limited to 'run-tests.php')
| -rw-r--r-- | run-tests.php | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index 7ab872119a..e66eeba34e 100644 --- a/run-tests.php +++ b/run-tests.php @@ -999,7 +999,9 @@ if ($html_output) { save_or_mail_results(); junit_save_xml(); -if (getenv('REPORT_EXIT_STATUS') == 1 && ($sum_results['FAILED'] || $sum_results['LEAKED'])) { +if (getenv('REPORT_EXIT_STATUS') !== '0' && + getenv('REPORT_EXIT_STATUS') !== 'no' && + ($sum_results['FAILED'] || $sum_results['LEAKED'])) { exit(1); } exit(0); |