diff options
Diffstat (limited to 'Build/source/texk/web2c/triptrap-sh')
-rwxr-xr-x | Build/source/texk/web2c/triptrap-sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/triptrap-sh b/Build/source/texk/web2c/triptrap-sh index 27aa7f3554c..2f120f95376 100755 --- a/Build/source/texk/web2c/triptrap-sh +++ b/Build/source/texk/web2c/triptrap-sh @@ -23,6 +23,7 @@ do mftrap.diffs) tst=trap; msg='TRAP test for Metafont';; mptrap.diffs) tst=mplibdir/mptrap; msg='MPTRAP test for MetaPost';; etrip.diffs) tst=etexdir/etrip; msg='e-TRIP test for e-TeX';; + ptrip.diffs) tst=ptexdir/ptrip; msg='TRIP test for pTeX';; *) echo "$me: Bad argument \`$file'"; exit 1;; esac echo ">>> Running $msg." @@ -34,6 +35,7 @@ do -e "/^PASS: /,\$d" \ -e "s%$srcdir/triptrap%SRCDIR/triptrap%" \ -e "s%$srcdir/etexdir%SRCDIR/etexdir%" \ + -e "s%$srcdir/ptexdir%SRCDIR/ptexdir%" \ $tmp >>$file echo "PASS: $tst.test" >>$file rm -f $tmp |