diff options
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 |