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 7abc4aedee..99767d1d08 100755 --- a/run-tests.php +++ b/run-tests.php @@ -2693,7 +2693,7 @@ COMMAND $cmd if (isset($section_text['XFAIL'])) { $restype[] = 'XFAIL'; $info = ' XFAIL REASON: ' . rtrim($section_text['XFAIL']); - } else if ($section_text['XLEAK']) { + } else if (isset($section_text['XLEAK'])) { $restype[] = 'XLEAK'; $info = ' XLEAK REASON: ' . rtrim($section_text['XLEAK']); } else { |