diff options
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index d02d6e62b29..6c4fadf8357 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -4391,7 +4391,7 @@ var j:small_number; {write stream number} prompt_file_name("output file name",".tex"); write_open[j]:=true; {If on first line of input, log file is not ready yet, so don't log.} - if log_opened then begin + if log_opened and texmf_yesno('log_openout') then begin old_setting:=selector; if (tracing_online<=0) then selector:=log_only {Show what we're doing in the log file.} |