diff options
| author | Hans Hagen <pragma@wxs.nl> | 2020-11-23 19:48:34 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-11-23 19:48:34 +0100 |
| commit | 18499e46a49b8ccf4346686d1cf626ada33935b8 (patch) | |
| tree | bd0ae7b601b323e20954c10c07598637d9403e00 /scripts | |
| parent | 4b089e589d39346a66a27d04f9857fe16e4b7b41 (diff) | |
| download | context-18499e46a49b8ccf4346686d1cf626ada33935b8.tar.gz | |
2020-11-23 18:39:00
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/context/lua/mtx-context.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 2eba08573..2398481f6 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -854,6 +854,11 @@ function scripts.context.run(ctxdata,filename) -- -- kindofrun: 1:first run, 2:successive run, 3:once, 4:last of maxruns -- + local engine = analysis.engine or "luametatex" + if engine == "luametatex" and (mainfile == usedfiles.yes or mainfile == usedfiles.nop) then + mainfile = "" -- we don't need that + end + -- for currentrun=1,maxnofruns do -- c_flags.final = false @@ -865,6 +870,7 @@ function scripts.context.run(ctxdata,filename) c_flags.profile = a_profile and (tonumber(a_profile) or 0) or nil -- print("") -- cleaner, else continuation on same line + -- local returncode = environment.run_format( formatfile, scriptfile, |