diff options
| author | Hans Hagen <pragma@wxs.nl> | 2020-08-24 20:03:53 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-08-24 20:03:53 +0200 |
| commit | 89f7bbac9616406b3990b8608c17c542f5fb476d (patch) | |
| tree | 9e487938454fd224025391d975ae85dff85a10f8 /scripts/context/lua/mtx-context.lua | |
| parent | 4ba731dd6ff370a42984b4df050906fd9a884bc8 (diff) | |
| download | context-89f7bbac9616406b3990b8608c17c542f5fb476d.tar.gz | |
2020-08-24 19:49:00
Diffstat (limited to 'scripts/context/lua/mtx-context.lua')
| -rw-r--r-- | scripts/context/lua/mtx-context.lua | 16 |
1 files changed, 4 insertions, 12 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 223da8193..6a8ea4dd0 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -628,7 +628,7 @@ function scripts.context.run(ctxdata,filename) -- files = { } elseif #files > 0 then -- the list of given files is processed using the stub file - mainfile = usedfiles.yes + mainfile = usedfiles.yes -- this can become "" for luametatex/lmtx filelist = files files = { } else @@ -821,20 +821,12 @@ function scripts.context.run(ctxdata,filename) -- ["safer"] = a_safer, -- better use --sandbox -- ["no-mktex"] = true, -- ["file-line-error-style"] = true, --- ["fmt"] = formatfile, --- ["lua"] = scriptfile, +-- ["fmt"] = formatfile, +-- ["lua"] = scriptfile, ["jobname"] = jobname, ["jithash"] = a_jithash, } -- - if not a_timing then - -- okay - elseif c_flags.usemodule then - c_flags.usemodule = format("timing,%s",c_flags.usemodule) - else - c_flags.usemodule = "timing" - end - -- local directives = { } -- if a_nodates then @@ -1012,7 +1004,7 @@ function scripts.context.run(ctxdata,filename) report("you can process (timing) statistics with:",jobname) report() report("context --extra=timing '%s'",jobname) - report("mtxrun --script timing --xhtml [--launch --remove] '%s'",jobname) + -- report("mtxrun --script timing --xhtml [--launch --remove] '%s'",jobname) report() end else |