diff options
-rwxr-xr-x | run-tests.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/run-tests.php b/run-tests.php index dc48a1b6c3..69347c9d0f 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)); |