This is needed though

diff --git a/run-tests.php b/run-tests.php
index 636c72e7b4347c4fdd1e00397fb1e601adc4177e..7264567a8423856e78add144f55d464bd01232f0 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -739,7 +739,7 @@ COMMAND $cmd
 
        // Test failed so we need to report details.
        if ($warn) {
-               echo "WARN $tested\n";
+               echo "WARN $tested$info\n";
        } else {
                echo "FAIL $tested\n";
        }