diff options
author | Joe Watkins <krakjoe@php.net> | 2018-03-02 13:22:12 +0100 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2018-03-02 13:22:12 +0100 |
commit | 0fe7636084e658c3d00ddb82b8b3d9d7b683d259 (patch) | |
tree | c5671a3a22b7f34873ef990aaab321b78cfb819f /run-tests.php | |
parent | f7b48f7f1e1e4d54e44ce5c30f287db8924f1164 (diff) | |
download | php-git-0fe7636084e658c3d00ddb82b8b3d9d7b683d259.tar.gz |
correct condition for leaks in run-tests.php
Diffstat (limited to 'run-tests.php')
-rw-r--r-- | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index e22106e964..18685961d4 100644 --- a/run-tests.php +++ b/run-tests.php @@ -997,7 +997,7 @@ if ($html_output) { save_or_mail_results(); junit_save_xml(); -if (getenv('REPORT_EXIT_STATUS') == 1 && ($sum_results['FAILED'] || $sum_results['LEAK'] || $sum_results['LEAKED'])) { +if (getenv('REPORT_EXIT_STATUS') == 1 && ($sum_results['FAILED'] || $sum_results['LEAKED'])) { exit(1); } exit(0); |