diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-01 23:49:14 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-09-01 23:49:14 +0200 |
commit | e29c39733ad90a0ca354808aef71b1b2e0acc9c9 (patch) | |
tree | b265a51ed6b8cd1bb898511e2c516ba306be16e8 /luaotfload-database.lua | |
parent | 8bd26bbc573d4320fce8d6535737dd25e277bd2f (diff) | |
download | luaotfload-e29c39733ad90a0ca354808aef71b1b2e0acc9c9.tar.gz |
[tool] include stats on demand only (--stats option)
Diffstat (limited to 'luaotfload-database.lua')
-rw-r--r-- | luaotfload-database.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 8268283..a148940 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -2795,7 +2795,11 @@ update_names = function (currentnames, force, dry_run) dry_run, n_rawnames, n_newnames) - targetnames.meta.statistics = collect_statistics (targetnames.mappings) + + if config.luaotfload.statistics == true then + targetnames.meta.statistics = collect_statistics + (targetnames.mappings) + end --- we always generate the file lookup tables because --- non-texmf entries are redirected there and the mapping |