diff options
| -rwxr-xr-x | run-tests.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/run-tests.php b/run-tests.php index f06733a52d..1b4bd5f449 100755 --- a/run-tests.php +++ b/run-tests.php @@ -1935,6 +1935,7 @@ COMMAND $cmd if (!$passed) { if (isset($section_text['XFAIL'])) { $restype[] = 'XFAIL'; + $info = ' XFAIL REASON: ' . $section_text['XFAIL']; } else { $restype[] = 'FAIL'; } |
