diff options
author | Hans Hagen <pragma@wxs.nl> | 2020-03-10 15:42:39 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2020-03-10 15:42:39 +0100 |
commit | 0b0256403b7e111df0ecdb8ca589f20df787dacd (patch) | |
tree | 49b02d80ccbb26aa235351ae3dfd2d099635ea72 /tex/context/base/mkiv/luat-fmt.lua | |
parent | 631a40d69d7fb4e5beff90039d21da5472dd1020 (diff) | |
download | context-0b0256403b7e111df0ecdb8ca589f20df787dacd.tar.gz |
2020-03-10 14:47:00
Diffstat (limited to 'tex/context/base/mkiv/luat-fmt.lua')
-rw-r--r-- | tex/context/base/mkiv/luat-fmt.lua | 12 |
1 files changed, 3 insertions, 9 deletions
diff --git a/tex/context/base/mkiv/luat-fmt.lua b/tex/context/base/mkiv/luat-fmt.lua index 5502e1a1d..538556ed2 100644 --- a/tex/context/base/mkiv/luat-fmt.lua +++ b/tex/context/base/mkiv/luat-fmt.lua @@ -21,9 +21,6 @@ local function primaryflags(arguments) if arguments.silent then flags[#flags+1] = "--interaction=batchmode" end - -- if arguments.jit then - -- flags[#flags+1] = "--jiton" - -- end return concat(flags," ") end @@ -43,9 +40,6 @@ local function secondaryflags(arguments) if arguments.errors then flags[#flags+1] = "--c:errors" end - if arguments.jit then - flags[#flags+1] = "--c:jiton" - end if arguments.ansi then flags[#flags+1] = "--c:ansi" end @@ -248,9 +242,9 @@ function environment.make_format(formatname) if silent then specification.redirect = "> temp.log" end - statistics.starttiming() + statistics.starttiming("format") local result = runner(specification) - local runtime = statistics.stoptiming() + statistics.stoptiming("format") if silent then os.remove("temp.log") end @@ -269,7 +263,7 @@ function environment.make_format(formatname) report_format("secondary flags : %s",secondaryflags) end report_format("context file : %s",fulltexsourcename) - report_format("run time : %.3f seconds",runtime) + report_format("run time : %.3f seconds",statistics.elapsed("format")) report_format("return value : %s",result == 0 and "okay" or "error") report_format() -- last we go back to the home base |