diff options
Diffstat (limited to 'Master/texmf-dist/tex/context/base/mkiv/trac-log.lua')
-rw-r--r-- | Master/texmf-dist/tex/context/base/mkiv/trac-log.lua | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex/context/base/mkiv/trac-log.lua b/Master/texmf-dist/tex/context/base/mkiv/trac-log.lua index 86557ef0927..b6bb123cf58 100644 --- a/Master/texmf-dist/tex/context/base/mkiv/trac-log.lua +++ b/Master/texmf-dist/tex/context/base/mkiv/trac-log.lua @@ -114,6 +114,16 @@ if tex and (tex.jobname or tex.formatname) then texio.setescape(0) -- or (false) end + if arg then + -- we're don't have environment.arguments yet + for k, v in next, arg do -- k can be negative ! + if v == "--ansi" or v == "--c:ansi" then + variant = "ansi" + break + end + end + end + local function useluawrites() -- quick hack, awaiting speedup in engine (8 -> 6.4 sec for --make with console2) @@ -793,7 +803,7 @@ end -- we don't have show_open and show_close callbacks yet -local report_files = logs.reporter("files") +----- report_files = logs.reporter("files") local nesting = 0 local verbose = false local hasscheme = url.hasscheme |