summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/triptrap-sh
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2015-07-10 09:42:52 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2015-07-10 09:42:52 +0000
commit29257ccc28919fcb506e6582fa5078ed0e542f70 (patch)
treeb496bed4f943710ee6abb20302b43bbadf6bb4a7 /Build/source/texk/web2c/triptrap-sh
parent116014c0fb6d1b6bce11288c0d39c0f1aeb7cc4e (diff)
Build system: Better dependencies for 'make check'
git-svn-id: svn://tug.org/texlive/trunk@37824 c570f23f-e606-0410-a88d-b1316a301751
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