diff options
| author | Hans Hagen <pragma@wxs.nl> | 2017-05-25 13:21:58 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-05-25 13:21:58 +0200 |
| commit | 82aed3e7e8af29f359ebef4f93684d20e98107e6 (patch) | |
| tree | 2b92c44d14566481aad5635f479b1b106d4e2347 /scripts/context/lua/mtx-plain.lua | |
| parent | aceba29d651766f5621b9812d4c40e28029bc4ea (diff) | |
| download | context-82aed3e7e8af29f359ebef4f93684d20e98107e6.tar.gz | |
2017-05-25 12:56:00
Diffstat (limited to 'scripts/context/lua/mtx-plain.lua')
| -rw-r--r-- | scripts/context/lua/mtx-plain.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-plain.lua b/scripts/context/lua/mtx-plain.lua index 347f63f1d..43ced20ef 100644 --- a/scripts/context/lua/mtx-plain.lua +++ b/scripts/context/lua/mtx-plain.lua @@ -55,7 +55,11 @@ local passed_options = table.tohash { 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(...) |