diff options
Diffstat (limited to 'Build/source/texk/tetex/fmtutil')
-rwxr-xr-x | Build/source/texk/tetex/fmtutil | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/tetex/fmtutil b/Build/source/texk/tetex/fmtutil index 47d3af7247a..1314e799939 100755 --- a/Build/source/texk/tetex/fmtutil +++ b/Build/source/texk/tetex/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 |