diff --git a/run-tests.php b/run-tests.php index dc48a1b6c32..69347c9d0fc 100755 --- 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));