diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-07-10 09:42:52 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-07-10 09:42:52 +0000 |
commit | 29257ccc28919fcb506e6582fa5078ed0e542f70 (patch) | |
tree | b496bed4f943710ee6abb20302b43bbadf6bb4a7 /Build/source/texk/web2c/triptrap-sh | |
parent | 116014c0fb6d1b6bce11288c0d39c0f1aeb7cc4e (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-x | Build/source/texk/web2c/triptrap-sh | 12 |
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 |