diff options
Diffstat (limited to 'Build/source/texk/web2c/eptexdir/eptriptest')
-rwxr-xr-x | Build/source/texk/web2c/eptexdir/eptriptest | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/eptexdir/eptriptest b/Build/source/texk/web2c/eptexdir/eptriptest index d951078955f..03252230010 100755 --- a/Build/source/texk/web2c/eptexdir/eptriptest +++ b/Build/source/texk/web2c/eptexdir/eptriptest @@ -1,7 +1,7 @@ #! /bin/sh # Copyright (C) 2010 Hironori Kitagawa <tex-live@tug.org> -# Copyright (C) 2011-2013 Peter Breitenlohner <tex-live@tug.org> +# Copyright (C) 2011-2014 Peter Breitenlohner <tex-live@tug.org> # You may freely use, modify and/or distribute this file. testdir=$abs_srcdir/triptrap @@ -40,6 +40,10 @@ $LN_S $testdir/trip.tex . rm -f trip.log ../eptex --progname=epinitex --ini <$testdir/trip1.in >cptripin.fot +if test ! -s trip.fmt; then + echo "*** trip.fmt not created by trip1.in, investigate!" >&2 + exit 1 +fi sed "$P_SED1" trip.log > cptripin.log || exit 1 diff $testdir/tripin.log cptripin.log @@ -56,12 +60,18 @@ $DIFF $DIFFFLAGS $testdir/trip.log cptrip.log eval ../dvitype $dvitype_args trip.dvi >cptrip.typ || exit 1 $DIFF $DIFFFLAGS $testdir/trip.typ cptrip.typ +mv trip.fmt ctrip.fmt + # ================================= echo "*** TRIP test for e-pTeX in extended mode ***." rm -f trip.log ../eptex --progname=epinitex --ini <$etestdir/etrip1.in >xptripin.fot +if test ! -s trip.fmt; then + echo "*** trip.fmt not created by etrip1.in, investigate!" >&2 + exit 1 +fi sed "$P_SED1" trip.log > xptripin.log || exit 1 diff $testdir/tripin.log xptripin.log @@ -78,6 +88,8 @@ $DIFF $DIFFFLAGS $testdir/trip.log xptrip.log eval ../dvitype $dvitype_args trip.dvi >xptrip.typ || exit 1 $DIFF $DIFFFLAGS $testdir/trip.typ xptrip.typ +mv trip.fmt xtrip.fmt + # ================================= echo "*** e-TeX specific part of e-TRIP test for e-pTeX ***." @@ -92,6 +104,10 @@ diff $etestdir/etrip.pl etrip.pl || is_OK=false $LN_S $eptestdir/eptrip.tex etrip.tex ../eptex --progname=epinitex --ini <$etestdir/etrip2.in >eptripin.fot +if test ! -s etrip.fmt; then + echo "*** etrip.fmt not created by etrip2.in, investigate!" >&2 + exit 1 +fi sed "$P_SED1" etrip.log > eptripin.log || exit 1 diff $etestdir/etripin.log eptripin.log |