Show XFAIL reasons (Daniel Convissor)

diff --git a/run-tests.php b/run-tests.php
index f06733a52da20825c7135725dea23d417bac024e..1b4bd5f449eebb31b60ac91dd7d3651c60574ae4 100755 (executable)
--- 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';
                }