diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-06-04 19:46:50 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-06-04 19:46:50 +0200 |
commit | e9ccab5308d2b6fec79e36c355c03aad4e1e5dec (patch) | |
tree | 42a003cdebc84d23b9cc424ba47f11515b196385 /tex/context/base/mkxl/trac-tex.lmt | |
parent | e2ffa186c8e622ce9235533b91bb2399dd051672 (diff) | |
download | context-beta.tar.gz |
Diffstat (limited to 'tex/context/base/mkxl/trac-tex.lmt')
-rw-r--r-- | tex/context/base/mkxl/trac-tex.lmt | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tex/context/base/mkxl/trac-tex.lmt b/tex/context/base/mkxl/trac-tex.lmt index df125cb12..58dfb0316 100644 --- a/tex/context/base/mkxl/trac-tex.lmt +++ b/tex/context/base/mkxl/trac-tex.lmt @@ -105,8 +105,15 @@ interfaces.implement { public = true, protected = true, actions = function(cs) + local n = 0 + local m = 0 for k, v in table.sortedhash(profiled) do logs.report("profiled", "%s : %i",k,v) + n = n + v + m = m + 1 + end + if m > 0 and n > 0 then + logs.report("profiled", "%i profiled : %i",m,n) end end, } |