summaryrefslogtreecommitdiff
path: root/Master/bin
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-05-31 18:55:32 +0000
committerKarl Berry <karl@freefriends.org>2007-05-31 18:55:32 +0000
commitdf05c64f967f2f98249e866d4ef69bbc5031e4ff (patch)
tree8fc52c216688bed3a78dfbee8ad7c54ae606950d /Master/bin
parent0559bb3d05942388c5a9c3f5e8c64608e9767e15 (diff)
do not remove the log file
git-svn-id: svn://tug.org/texlive/trunk@4391 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin')
-rwxr-xr-xMaster/bin/i386-linux/fmtutil2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/i386-linux/fmtutil b/Master/bin/i386-linux/fmtutil
index 47d3af7247a..249fe49b773 100755
--- a/Master/bin/i386-linux/fmtutil
+++ b/Master/bin/i386-linux/fmtutil
@@ -696,7 +696,7 @@ run_initex()
if test -f $fmtfile; then
grep '^! ' $format.log >/dev/null 2>&1 &&
log_failure "\`$engine -ini $tcxflag $jobswitch $prgswitch $texargs' possibly failed."
- rm -f "$fulldestdir/$format.log"
+"
# We don't want user-interaction for the following "mv" commands:
mv "$format.log" "$fulldestdir/$format.log" </dev/null
if mv "$fmtfile" "$fulldestdir/$fmtfile" </dev/null; then