diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-19 21:26:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-19 21:26:37 +0000 |
commit | 5653ce727bbbbd072f5c4e6a2d8b16a3fb4ba86f (patch) | |
tree | 82c8175883c03586d73d382ba4c2883405f60613 /Master/texmf-dist/tex/luatex/lualibs/lualibs-util-deb.lua | |
parent | 556dfa7ef108ed2946da8b8f32106f881d064ce9 (diff) |
lualibs (19may19)
git-svn-id: svn://tug.org/texlive/trunk@51167 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/luatex/lualibs/lualibs-util-deb.lua')
-rw-r--r-- | Master/texmf-dist/tex/luatex/lualibs/lualibs-util-deb.lua | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-deb.lua b/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-deb.lua index 6932e8804d3..bd94b6d01ed 100644 --- a/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-deb.lua +++ b/Master/texmf-dist/tex/luatex/lualibs/lualibs-util-deb.lua @@ -30,7 +30,15 @@ local names = { } local initialize = false -if not (FFISUPPORTED and ffi) then +if lua.getpreciseticks then + + initialize = function() + ticks = lua.getpreciseticks + seconds = lua.getpreciseseconds + initialize = false + end + +elseif not (FFISUPPORTED and ffi) then -- we have no precise timer |