Shorten output to prevent messup

diff --git a/run-tests.php b/run-tests.php
index dc48a1b6c3284ddcdc6c3ef415bb687756e1f8ae..69347c9d0fc62abe9c6506dec6f82cf766f5c542 100755 (executable)
--- a/run-tests.php
+++ b/run-tests.php
@@ -676,7 +676,7 @@ TEST $file
        $shortname = str_replace($cwd.'/', '', $file);
        $tested = trim($section_text['TEST'])." [$shortname]";
 
-       echo "TEST $tested\r";
+       echo "TEST [$shortname]\r";
        flush();
 
        $tmp = realpath(dirname($file));