summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/triptrap-sh
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2014-01-18 11:47:17 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2014-01-18 11:47:17 +0000
commitde3b07ea3448cc045b7580f8bc24d577aa2b893d (patch)
treeece2d14b8da9a20e1ded4c11c232c3cc683244f3 /Build/source/texk/web2c/triptrap-sh
parent9d827978085ba371a330057c97facb96a22581fd (diff)
TeX: Stricter checking in triptest
git-svn-id: svn://tug.org/texlive/trunk@32711 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/triptrap-sh')
-rwxr-xr-xBuild/source/texk/web2c/triptrap-sh15
1 files changed, 12 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/triptrap-sh b/Build/source/texk/web2c/triptrap-sh
index c255f2ee114..37338cc2ffb 100755
--- a/Build/source/texk/web2c/triptrap-sh
+++ b/Build/source/texk/web2c/triptrap-sh
@@ -16,6 +16,7 @@ tmp=$me.$$
trap "rm -f $tmp" 1 2 13 15
echo "$me: Running TRIP and TRAP tests and creating diffs."
+rc=0
for file
do
case $file in
@@ -30,15 +31,23 @@ do
*) echo "$me: Bad argument \`$file'"; exit 1;;
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"; exit 1; }
+ || { echo "FAIL: $tst"; is_OK=false; }
sed -e "s%$abs_srcdir/%SRCDIR/%" \
-e "s%\.\./%./%" \
$tst.log >$file
- echo "PASS: $tst" >>$file
+ $is_OK && {
+ echo "PASS: $tst" >>$file
+ echo "PASS: $tst"
+ } || {
+ echo "FAIL: $tst" >>$file
+ rc=1
+ }
rm -f $tmp
- echo "PASS: $tst"
done
echo "$me: All done"
+exit $rc
+