diff options
Diffstat (limited to 'tex/context/base/mkiv/trac-inf.lua')
-rw-r--r-- | tex/context/base/mkiv/trac-inf.lua | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/tex/context/base/mkiv/trac-inf.lua b/tex/context/base/mkiv/trac-inf.lua index 2c1dbbfe7..7a5c35fd5 100644 --- a/tex/context/base/mkiv/trac-inf.lua +++ b/tex/context/base/mkiv/trac-inf.lua @@ -265,11 +265,13 @@ function statistics.timed(action,all) stoptiming("run") local runtime = tonumber(elapsedtime("run")) if all then - local alltime = lua.getruntime and lua.getruntime() or elapsedtime(statistics) - report("total runtime: %0.3f seconds of %0.3f seconds",runtime,alltime) - else - report("total runtime: %0.3f seconds",runtime) + local alltime = tonumber(lua.getruntime and lua.getruntime() or elapsedtime(statistics)) + if alltime and alltime > 0 then + report("total runtime: %0.3f seconds of %0.3f seconds",runtime,alltime) + return + end end + report("total runtime: %0.3f seconds",runtime) end -- goodie |