2 build/source/texk/tetex/fmtutil | 7 ++++---
3 1 file changed, 4 insertions(+), 3 deletions(-)
5 Index: texlive-bin-2007/build/source/texk/tetex/fmtutil
6 ===================================================================
7 --- texlive-bin-2007.orig/build/source/texk/tetex/fmtutil 2007-04-13 14:04:31.000000000 +0200
8 +++ texlive-bin-2007/build/source/texk/tetex/fmtutil 2007-04-13 14:09:48.000000000 +0200
10 if test -f $fmtfile; then
11 grep '^! ' $format.log >/dev/null 2>&1 &&
12 log_failure "\`$engine -ini $tcxflag $jobswitch $prgswitch $texargs' possibly failed."
13 - rm -f "$fulldestdir/$format.log"
14 - # We don't want user-interaction for the following "mv" commands:
15 - mv "$format.log" "$fulldestdir/$format.log" </dev/null
16 + # We don't want user-interaction for the following "mv" command:
17 if mv "$fmtfile" "$fulldestdir/$fmtfile" </dev/null; then
18 verboseMsg "$progname: $fulldestdir/$fmtfile installed."
22 log_failure "\`$engine -ini $tcxflag $jobswitch $prgswitch $texargs' failed"
24 + rm -f "$fulldestdir/$format.log"
25 + # We don't want user-interaction for the following "mv" command:
26 + mv "$format.log" "$fulldestdir/$format.log" </dev/null
29 ###############################################################################