diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-09-27 14:17:19 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-09-27 14:17:19 +0000 |
commit | 1927158df927d7ef29221a17261313e3ddbcece0 (patch) | |
tree | 969f706fbe19c30a9d1b23e9640239eee85c8b8f /Build/source/texk/web2c/uptexdir/uptriptest.test | |
parent | 13b7766e22c87ae05faa82e5aa4b0ee3693770df (diff) |
texk/web2c: in (e)*TRIP tests also check tripos.tex and etrip.out
git-svn-id: svn://tug.org/texlive/trunk@38476 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/uptexdir/uptriptest.test')
-rwxr-xr-x | Build/source/texk/web2c/uptexdir/uptriptest.test | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/uptexdir/uptriptest.test b/Build/source/texk/web2c/uptexdir/uptriptest.test index 280880f7675..212c6ad3503 100755 --- a/Build/source/texk/web2c/uptexdir/uptriptest.test +++ b/Build/source/texk/web2c/uptexdir/uptriptest.test @@ -55,6 +55,9 @@ diff $testdir/trip.fot uptrip.fot # might actually be legitimate numerical differences. $DIFF $DIFFFLAGS $testdir/trip.log uptrip.log +mv tripos.tex uptripos.tex +diff $testdir/tripos.tex uptripos.tex || is_OK=false + eval ../dvitype $dvitype_args trip.dvi >uptrip.typ || exit 1 $DIFF $DIFFFLAGS $testdir/trip.typ uptrip.typ |