summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/triptrap-sh
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/triptrap-sh')
-rwxr-xr-xBuild/source/texk/web2c/triptrap-sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/triptrap-sh b/Build/source/texk/web2c/triptrap-sh
index dc443e4bbd5..9e3b9b8ece3 100755
--- a/Build/source/texk/web2c/triptrap-sh
+++ b/Build/source/texk/web2c/triptrap-sh
@@ -33,10 +33,9 @@ do
$MAKE TESTS=$tst.test check-am >$tmp 2>&1 \
&& grep "PASS: $tst\.test" $tmp >/dev/null 2>&1 \
|| { echo "FAIL: $tst.test"; exit 1; }
- echo ">>> Running $msg." >$file
sed -e "s%$abs_srcdir/%SRCDIR/%" \
-e "s%\.\./%./%" \
- $tst.log >>$file
+ $tst.log >$file
echo "PASS: $tst.test" >>$file
rm -f $tmp
echo "PASS: $tst.test"