diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-29 16:26:18 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-29 16:26:18 +0100 |
commit | 78976f3bd5f9087ff5be3469c6abb94df51ebdf9 (patch) | |
tree | 2c468d878e2600ffd319d5806c0ce1d42027ad28 /lualibs-trac-inf.lua | |
parent | 44ba990b30247a129dbb8b12e8c8154e37b5eb33 (diff) | |
download | lualibs-78976f3bd5f9087ff5be3469c6abb94df51ebdf9.tar.gz |
sync with Context as of 2013-11-29
Diffstat (limited to 'lualibs-trac-inf.lua')
-rw-r--r-- | lualibs-trac-inf.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lualibs-trac-inf.lua b/lualibs-trac-inf.lua index 79cbdba..802f2e6 100644 --- a/lualibs-trac-inf.lua +++ b/lualibs-trac-inf.lua @@ -122,6 +122,9 @@ function statistics.show() if statistics.enable then -- this code will move local register = statistics.register + register("used platform", function() + return format("%s, type: %s, binary subtree: %s",os.platform or "unknown",os.type or "unknown", environment.texos or "unknown") + end) register("luatex banner", function() return lower(status.banner) end) @@ -179,7 +182,7 @@ function statistics.timed(action) starttiming("run") action() stoptiming("run") - report("total runtime: %s",elapsedtime("run")) + report("total runtime: %s seconds",elapsedtime("run")) end -- goodie |