summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/triptest.test
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/triptest.test')
-rwxr-xr-xBuild/source/texk/web2c/triptest.test2
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/triptest.test b/Build/source/texk/web2c/triptest.test
index f3f6f131a75..fc28fac703d 100755
--- a/Build/source/texk/web2c/triptest.test
+++ b/Build/source/texk/web2c/triptest.test
@@ -80,6 +80,8 @@ diff $testdir/trip.fot trip.fot
# might actually be legitimate numerical differences.
$DIFF $DIFFFLAGS $testdir/trip.log trip.log
+diff $testdir/tripos.tex tripos.tex || is_OK=false
+
eval ../dvitype $dvitype_args trip.dvi >trip.typ || exit 1
$DIFF $DIFFFLAGS $testdir/trip.typ trip.typ