diff options
author | Marius <mariausol@gmail.com> | 2013-11-22 23:40:17 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-11-22 23:40:17 +0200 |
commit | cde16bedc683a2749f548e9a36d2b88bd3d4aa50 (patch) | |
tree | fdac83799844e93375a3a98c447c22f926c1547d /tex/context/base/trac-inf.lua | |
parent | 236ca1f8c953cd7568e2aaa0d54c6fc61ca42a41 (diff) | |
download | context-cde16bedc683a2749f548e9a36d2b88bd3d4aa50.tar.gz |
beta 2013.11.22 22:29
Diffstat (limited to 'tex/context/base/trac-inf.lua')
-rw-r--r-- | tex/context/base/trac-inf.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/tex/context/base/trac-inf.lua b/tex/context/base/trac-inf.lua index 79cbdba3f..802f2e667 100644 --- a/tex/context/base/trac-inf.lua +++ b/tex/context/base/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 |