1
0
mirror of https://github.com/php/php-src.git synced 2026-03-26 01:02:25 +01:00

Shorten output to prevent messup

This commit is contained in:
Zeev Suraski
2003-08-05 08:39:01 +00:00
parent fec3fc9331
commit 9ff7dff10d

View File

@@ -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));