diff options
| -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 f467b74b25..2104ab2a64 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2657,7 +2657,7 @@ COMMAND $cmd if (isset($section_text['XFAIL'])) { $warn = true; $info = " (warn: XFAIL section but test passes)"; - } if (isset($section_text['XLEAK'])) { + } elseif (isset($section_text['XLEAK'])) { $warn = true; $info = " (warn: XLEAK section but test passes)"; } else { |