]>
Commit | Line | Data |
---|---|---|
768e5264 AM |
1 | --- |
2 | build/source/texk/tetex/fmtutil | 7 ++++--- | |
3 | 1 file changed, 4 insertions(+), 3 deletions(-) | |
4 | ||
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 | |
9 | @@ -696,9 +696,7 @@ | |
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." | |
19 | # | |
20 | @@ -710,6 +708,9 @@ | |
21 | else | |
22 | log_failure "\`$engine -ini $tcxflag $jobswitch $prgswitch $texargs' failed" | |
23 | fi | |
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 | |
27 | } | |
28 | ||
29 | ############################################################################### |