diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-30 01:54:03 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-05-30 01:54:03 +0200 |
| commit | dd88b90a7582a94f89db8c5f8a29178305497c0a (patch) | |
| tree | 0a3d8595a7bfc6c3bdbf948dfe78075d1b42f5e1 | |
| parent | 6ad1f8f479da97b4cf7eb17b05050593883dde49 (diff) | |
| download | luaotfload-dd88b90a7582a94f89db8c5f8a29178305497c0a.tar.gz | |
rebuild filename lookup table upon --force
| -rw-r--r-- | luaotfload-database.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index 813a471..d670322 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -1571,7 +1571,7 @@ update_names = function (fontnames, force, dry_run) n_scanned = n_scanned + scanned n_new = n_new + new - if n_new > 0 then + if force or n_new > 0 then newfontnames = gen_fast_lookups(newfontnames) end |