diff options
| -rw-r--r-- | luaotfload-database.lua | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/luaotfload-database.lua b/luaotfload-database.lua index e7d4bf9..65f2bf7 100644 --- a/luaotfload-database.lua +++ b/luaotfload-database.lua @@ -1489,6 +1489,18 @@ local gen_fast_lookups = function (fontnames) --- this will overwrite existing entries for i=1, #lst do local idx, base, bare, intexmf, full = unpack(lst[i]) + + local known = filenames.base[base] or filenames.bare[bare] + if known then --- known + report("both", 1, "db", + "font file “%s” already indexed (%d)", + base, idx) + report("both", 2, "db", "> old location: %s", + (filenames.full[known] or "texmf")) + report("both", 2, "db", "> new location: %s", + (intexmf and "texmf" or full)) + end + filenames.bare[bare] = idx filenames.base[base] = idx if intexmf == true then |