summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/triptest.test
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-12-17 19:06:20 +0000
committerKarl Berry <karl@freefriends.org>2019-12-17 19:06:20 +0000
commit10a7ffb1a8491cbb46e496c3aad5ef20a8cb4217 (patch)
tree72acabf12ea3fcf921501f850e631404ce68e7ca /Build/source/texk/web2c/triptest.test
parent91f88812766634e237adbc651370ffc5c3794135 (diff)
rm trap.base/trip.fmt before remaking
git-svn-id: svn://tug.org/texlive/trunk@53154 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/triptest.test')
-rwxr-xr-xBuild/source/texk/web2c/triptest.test6
1 files changed, 4 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/triptest.test b/Build/source/texk/web2c/triptest.test
index c0c3165be2f..e1cc7aa4f6a 100755
--- a/Build/source/texk/web2c/triptest.test
+++ b/Build/source/texk/web2c/triptest.test
@@ -1,6 +1,6 @@
#! /bin/sh -vx
# $Id$
-# Copyright 2017-2018 Karl Berry <tex-live@tug.org>
+# Copyright 2017-2019 Karl Berry <tex-live@tug.org>
# Copyright 2009-2014 Peter Breitenlohner <tex-live@tug.org>
# You may freely use, modify and/or distribute this file.
@@ -64,8 +64,10 @@ set -x
diff $testdir/trip.pl trip.pl || is_OK=false
# get same filename in log
-$LN_S $testdir/trip.tex .
+rm -f trip.tex
+$LN_S $testdir/trip.tex . || exit 1
+rm -f trip.fmt
../tex --progname=initex --ini <$testdir/trip1.in >tripin.fot
if test ! -s trip.fmt; then
echo "*** trip.fmt not created by trip1.in, investigate!" >&2