diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-18 11:47:17 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2014-01-18 11:47:17 +0000 |
commit | de3b07ea3448cc045b7580f8bc24d577aa2b893d (patch) | |
tree | ece2d14b8da9a20e1ded4c11c232c3cc683244f3 /Build/source/texk/web2c/triptrap-sh | |
parent | 9d827978085ba371a330057c97facb96a22581fd (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-x | Build/source/texk/web2c/triptrap-sh | 15 |
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 + |