diff options
| -rwxr-xr-x | run-tests.php | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index d8f0acc538..f1726e8485 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1786,9 +1786,15 @@ COMMAND $cmd if (isset($old_php)) { $php = $old_php; } + if (!$leaked && !$failed_headers) { + if (isset($section_text['XFAIL'] )) { + $warn = true; + $info = " (warn: XFAIL section but test passes)"; + }else { show_result("PASS", $tested, $tested_file, '', $temp_filenames); return 'PASSED'; + } } } @@ -1811,8 +1817,13 @@ COMMAND $cmd } if (!$leaked && !$failed_headers) { + if (isset($section_text['XFAIL'] )) { + $warn = true; + $info = " (warn: XFAIL section but test passes)"; + }else { show_result("PASS", $tested, $tested_file, '', $temp_filenames); return 'PASSED'; + } } } |