diff options
-rw-r--r-- | src/luaotfload-init.lua | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/luaotfload-init.lua b/src/luaotfload-init.lua index 5b21d70..0f7464a 100644 --- a/src/luaotfload-init.lua +++ b/src/luaotfload-init.lua @@ -363,13 +363,19 @@ local init_main = function () fontloader, path) local _void = require (path) + elseif fontloader then + logreport ("log", 4, "init", + "Using predefined fontloader “%s”.", + fontloader) + load_fontloader_module (fontloader) + else - logreport ("log", 6, "init", - "No match for fontloader spec “%s”.", + logreport ("log", 4, "init", + "No match for requested fontloader “%s”.", fontloader) fontloader = luaotfload.fontloader_package logreport ("log", 4, "init", - "Using predefined fontloader “%s”.", + "Defaulting to predefined fontloader “%s”.", fontloader) load_fontloader_module (fontloader) end |