summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/context/lua/mtx-plain.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2018-03-20 22:10:59 +0000
committerKarl Berry <karl@freefriends.org>2018-03-20 22:10:59 +0000
commit65d009a0596b194597f47531523addd3e64ed005 (patch)
treee13bd9beecf63e26491a66aa7a8fa702482f0067 /Master/texmf-dist/scripts/context/lua/mtx-plain.lua
parentd1a186333ced7b341e26877907343f08211199f7 (diff)
context [current] (20mar18)
git-svn-id: svn://tug.org/texlive/trunk@47050 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/context/lua/mtx-plain.lua')
-rw-r--r--Master/texmf-dist/scripts/context/lua/mtx-plain.lua9
1 files changed, 7 insertions, 2 deletions
diff --git a/Master/texmf-dist/scripts/context/lua/mtx-plain.lua b/Master/texmf-dist/scripts/context/lua/mtx-plain.lua
index 347f63f1d0a..72cc48f92ad 100644
--- a/Master/texmf-dist/scripts/context/lua/mtx-plain.lua
+++ b/Master/texmf-dist/scripts/context/lua/mtx-plain.lua
@@ -49,13 +49,18 @@ scripts = scripts or { }
scripts.plain = scripts.plain or { }
local passed_options = table.tohash {
- "utc"
+ "utc",
+ "synctex",
}
local function execute(...)
local command = format(...)
report("running command %a\n",command)
- return os.execute(command)
+ statistics.starttiming()
+ local status = os.execute(command)
+ statistics.stoptiming()
+ report("runtime %s seconds",statistics.elapsedtime())
+ return status
end
local function resultof(...)