diff options
Diffstat (limited to 'Build/source/texk/web2c/uptexdir')
-rw-r--r-- | Build/source/texk/web2c/uptexdir/ChangeLog | 4 | ||||
-rwxr-xr-x | Build/source/texk/web2c/uptexdir/uptriptest.test | 3 |
2 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/uptexdir/ChangeLog b/Build/source/texk/web2c/uptexdir/ChangeLog index 06d104193ac..4b715788d14 100644 --- a/Build/source/texk/web2c/uptexdir/ChangeLog +++ b/Build/source/texk/web2c/uptexdir/ChangeLog @@ -1,3 +1,7 @@ +2015-09-22 Peter Breitenlohner <peb@mppmu.mpg.de> + + * uptriptest.test: Also check tripos.tex. + 2015-07-10 Peter Breitenlohner <peb@mppmu.mpg.de> * uptriptest (removed): Renamed ... 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 |