summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/triptrap-sh
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-14 08:19:50 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2010-04-14 08:19:50 +0000
commitcf42cec28487ec62783c7aaeecbaea79862794bf (patch)
tree814d0e116392c6e1fe6070bd7046c77523ed0bcf /Build/source/texk/web2c/triptrap-sh
parent7bd6eff399db384f6275e5aa8fd5c1a9aa0b66d8 (diff)
minor build fixes
git-svn-id: svn://tug.org/texlive/trunk@17864 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/triptrap-sh')
-rwxr-xr-xBuild/source/texk/web2c/triptrap-sh2
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