diff options
| author | Hans Hagen <pragma@wxs.nl> | 2019-01-28 17:45:12 +0100 |
|---|---|---|
| committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2019-01-28 17:45:12 +0100 |
| commit | 38a9804bf0448f3c987903d2601175f1750e9fe3 (patch) | |
| tree | c186102524308647035a7880cb83b34e64038710 /tex/context/base/mkiv/data-use.lua | |
| parent | 8bbd1dc6d3db576e4313277ac558f8fe7e0595ef (diff) | |
| download | context-38a9804bf0448f3c987903d2601175f1750e9fe3.tar.gz | |
2019-01-28 17:06:00
Diffstat (limited to 'tex/context/base/mkiv/data-use.lua')
| -rw-r--r-- | tex/context/base/mkiv/data-use.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tex/context/base/mkiv/data-use.lua b/tex/context/base/mkiv/data-use.lua index ff25c803a..5985a2eac 100644 --- a/tex/context/base/mkiv/data-use.lua +++ b/tex/context/base/mkiv/data-use.lua @@ -69,7 +69,11 @@ function statistics.savefmtstatus(texname,formatbanner,sourcefile,kind,banner) - } io.savedata(luvname,table.serialize(luvdata,true)) lua.registerfinalizer(function() - logs.report("format banner","%s",banner) + if jit then + logs.report("format banner","%s lua: %s jit",banner,LUAVERSION) + else + logs.report("format banner","%s lua: %s",banner,LUAVERSION) + end logs.newline() end) end |