diff options
| author | Joe Watkins <krakjoe@php.net> | 2019-05-23 13:09:18 +0200 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2019-05-23 13:09:18 +0200 |
| commit | 979e7d0feeb3995fde84bdc4e60ba856d6056954 (patch) | |
| tree | 9070c7bee831a8fa7ad9b58be4385556c21e9119 /run-tests.php | |
| parent | ced8760ca8533339ba8336b9ee32cbea3c873683 (diff) | |
| download | php-git-979e7d0feeb3995fde84bdc4e60ba856d6056954.tar.gz | |
fix notice in run-tests
Diffstat (limited to 'run-tests.php')
| -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 { |