diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-07-05 23:56:28 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-07-05 23:56:28 +0200 |
commit | d6dece4edc2ef86889f99f3dbe5a6d6ed3b68b02 (patch) | |
tree | c1469b80be7520b9f2159390f9a8106216086997 /tex/context/base/mkiv/mlib-pps.lua | |
parent | 847821faaecf92833f1e1564e1ef9377758d4d45 (diff) | |
download | context-d6dece4edc2ef86889f99f3dbe5a6d6ed3b68b02.tar.gz |
2018-07-05 23:13:00
Diffstat (limited to 'tex/context/base/mkiv/mlib-pps.lua')
-rw-r--r-- | tex/context/base/mkiv/mlib-pps.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tex/context/base/mkiv/mlib-pps.lua b/tex/context/base/mkiv/mlib-pps.lua index 5681edfd1..237efe901 100644 --- a/tex/context/base/mkiv/mlib-pps.lua +++ b/tex/context/base/mkiv/mlib-pps.lua @@ -37,6 +37,7 @@ local stoptiming = statistics.stoptiming local trace_runs = false trackers.register("metapost.runs", function(v) trace_runs = v end) local trace_textexts = false trackers.register("metapost.textexts", function(v) trace_textexts = v end) local trace_scripts = false trackers.register("metapost.scripts", function(v) trace_scripts = v end) +local trace_btexetex = false trackers.register("metapost.btexetex", function(v) trace_btexetex = v end) local report_metapost = logs.reporter("metapost") local report_textexts = logs.reporter("metapost","textexts") |