diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-04-11 23:40:06 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-04-11 23:40:06 +0200 |
commit | 3b909ab613140e7a9c824c434b642f0578473a6d (patch) | |
tree | c4feec8afb3e9d1dfc26895a73c55ca194261601 /tex/context/base/mkxl/trac-inf.lmt | |
parent | 059fc69b2c7853b937ddb4cfc9d36304dee07893 (diff) | |
download | context-3b909ab613140e7a9c824c434b642f0578473a6d.tar.gz |
2023-04-11 22:47:00
Diffstat (limited to 'tex/context/base/mkxl/trac-inf.lmt')
-rw-r--r-- | tex/context/base/mkxl/trac-inf.lmt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tex/context/base/mkxl/trac-inf.lmt b/tex/context/base/mkxl/trac-inf.lmt index feef3714f..649fef30b 100644 --- a/tex/context/base/mkxl/trac-inf.lmt +++ b/tex/context/base/mkxl/trac-inf.lmt @@ -304,6 +304,9 @@ local registered = false local enabled = false local finished = false +local status = status -- needed for --sandbox +local mplib = mplib -- needed for --sandbox + function statistics.showusage(when) if finished and when == "finish" then return |