diff options
author | Karl Berry <karl@freefriends.org> | 2019-12-17 19:06:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-12-17 19:06:20 +0000 |
commit | 10a7ffb1a8491cbb46e496c3aad5ef20a8cb4217 (patch) | |
tree | 72acabf12ea3fcf921501f850e631404ce68e7ca /Build/source/texk/web2c/triptest.test | |
parent | 91f88812766634e237adbc651370ffc5c3794135 (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-x | Build/source/texk/web2c/triptest.test | 6 |
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 |