From 854fa35fc4ede90cf35dae564298a94f8f99d8a4 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Sun, 21 Oct 2018 20:36:09 +0000 Subject: lualibs (21oct18) git-svn-id: svn://tug.org/texlive/trunk@48965 c570f23f-e606-0410-a88d-b1316a301751 --- Master/texmf-dist/tex/luatex/lualibs/lualibs-extended-merged.lua | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'Master/texmf-dist/tex/luatex/lualibs/lualibs-extended-merged.lua') diff --git a/Master/texmf-dist/tex/luatex/lualibs/lualibs-extended-merged.lua b/Master/texmf-dist/tex/luatex/lualibs/lualibs-extended-merged.lua index 0175b8d8747..c2a5fc242af 100644 --- a/Master/texmf-dist/tex/luatex/lualibs/lualibs-extended-merged.lua +++ b/Master/texmf-dist/tex/luatex/lualibs/lualibs-extended-merged.lua @@ -1,6 +1,6 @@ -- merged file : lualibs-extended-merged.lua -- parent file : lualibs-extended.lua --- merge date : Fri Sep 21 15:12:38 2018 +-- merge date : Thu Oct 18 23:57:30 2018 do -- begin closure to overcome local limits and interference @@ -2859,9 +2859,13 @@ local function resettiming(instance) end local ticks=clock local seconds=function(n) return n or 0 end -local function starttiming(instance) +local function starttiming(instance,reset) local timer=timers[instance or "notimer"] local it=timer.timing + if reset then + it=0 + timer.loadtime=0 + end if it==0 then timer.starttime=ticks() if not timer.loadtime then -- cgit v1.2.3