summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ptexdir
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2015-09-27 14:17:19 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2015-09-27 14:17:19 +0000
commit1927158df927d7ef29221a17261313e3ddbcece0 (patch)
tree969f706fbe19c30a9d1b23e9640239eee85c8b8f /Build/source/texk/web2c/ptexdir
parent13b7766e22c87ae05faa82e5aa4b0ee3693770df (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/ptexdir')
-rw-r--r--Build/source/texk/web2c/ptexdir/ChangeLog4
-rwxr-xr-xBuild/source/texk/web2c/ptexdir/ptriptest.test3
2 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ptexdir/ChangeLog b/Build/source/texk/web2c/ptexdir/ChangeLog
index 4d81bf887ad..fa5ea317ffe 100644
--- a/Build/source/texk/web2c/ptexdir/ChangeLog
+++ b/Build/source/texk/web2c/ptexdir/ChangeLog
@@ -1,3 +1,7 @@
+2015-09-22 Peter Breitenlohner <peb@mppmu.mpg.de>
+
+ * ptriptest.test: Also check tripos.tex.
+
2015-09-10 Hironori Kitagawa <h_kitagawa2001@yahoo.co.jp>
* ptex-base.ch: Fix a bug in flushing choice node.
diff --git a/Build/source/texk/web2c/ptexdir/ptriptest.test b/Build/source/texk/web2c/ptexdir/ptriptest.test
index 068731d34ed..3989570b083 100755
--- a/Build/source/texk/web2c/ptexdir/ptriptest.test
+++ b/Build/source/texk/web2c/ptexdir/ptriptest.test
@@ -55,6 +55,9 @@ diff $testdir/trip.fot ptrip.fot
# might actually be legitimate numerical differences.
$DIFF $DIFFFLAGS $testdir/trip.log ptrip.log
+mv tripos.tex ptripos.tex
+diff $testdir/tripos.tex ptripos.tex || is_OK=false
+
eval ../dvitype $dvitype_args trip.dvi >ptrip.typ || exit 1
$DIFF $DIFFFLAGS $testdir/trip.typ ptrip.typ