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-sh12
1 files changed, 6 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/triptrap-sh b/Build/source/texk/web2c/triptrap-sh
index 7683cffd954..6c2fb779759 100755
--- a/Build/source/texk/web2c/triptrap-sh
+++ b/Build/source/texk/web2c/triptrap-sh
@@ -34,17 +34,17 @@ do
esac
echo ">>> Running $msg."
is_OK=:
- $MAKE TESTS=$tst check-am >$tmp 2>&1 \
- && grep "PASS: $tst" $tmp >/dev/null 2>&1 \
- || { echo "FAIL: $tst"; is_OK=false; }
+ $MAKE TESTS=$tst.test check-am >$tmp 2>&1 \
+ && grep "PASS: $tst.test" $tmp >/dev/null 2>&1 \
+ || { echo "FAIL: $tst.test"; is_OK=false; }
sed -e "s%$abs_srcdir/%SRCDIR/%" \
-e "s%\.\./%./%" \
$tst.log >$file
$is_OK && {
- echo "PASS: $tst" >>$file
- echo "PASS: $tst"
+ echo "PASS: $tst.test" >>$file
+ echo "PASS: $tst.test"
} || {
- echo "FAIL: $tst" >>$file
+ echo "FAIL: $tst.test" >>$file
rc=1
}
rm -f $tmp