summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--luaotfload-database.lua12
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