From 9ff7dff10d2515169aef117fe6a517c76a0073eb Mon Sep 17 00:00:00 2001
From: Zeev Suraski <zeev@php.net>
Date: Tue, 5 Aug 2003 08:39:01 +0000
Subject: [PATCH] Shorten output to prevent messup

---
 run-tests.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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