diff options
| author | Hans Hagen <pragma@wxs.nl> | 2013-11-22 22:29:00 +0100 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2013-11-22 22:29:00 +0100 |
| commit | 277b7556b6fe2fea89be61774a36b56e8f9a6e84 (patch) | |
| tree | 211c99dd51fb8253a94eabf7affafc548bd4c7ff /tex/context/base/trac-inf.lua | |
| parent | b0adee8db2a65c7d482dce51bbb3261667bbcd17 (diff) | |
| download | context-277b7556b6fe2fea89be61774a36b56e8f9a6e84.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 |