correct condition for leaks in run-tests.php

diff --git a/run-tests.php b/run-tests.php
index e22106e964e905fe1789613579450e354b6b4563..18685961d49352c303cf2b02303e6cf1dee7f990 100644 (file)
--- 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);