diff options
| author | Philipp Gesang <phg@phi-gamma.net> | 2015-11-28 00:08:20 +0100 |
|---|---|---|
| committer | Philipp Gesang <phg@phi-gamma.net> | 2015-11-28 00:23:04 +0100 |
| commit | 36c87427e9bba1b3ca1dc58a0d6f914ca21bc9a6 (patch) | |
| tree | 6814af75b8e8243804403eb255e5445c9b7bde10 /src | |
| parent | 34405de988dcb334247e90e550964a65c6fb0103 (diff) | |
| download | luaotfload-36c87427e9bba1b3ca1dc58a0d6f914ca21bc9a6.tar.gz | |
[doc,init] clarify default/reference distinction
* default: our package (without lualibs)
* reference: the package from upstream
Diffstat (limited to 'src')
| -rw-r--r-- | src/luaotfload-init.lua | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/luaotfload-init.lua b/src/luaotfload-init.lua index 0f7464a..28fe4b5 100644 --- a/src/luaotfload-init.lua +++ b/src/luaotfload-init.lua @@ -292,10 +292,19 @@ local init_main = function () or "reference" fontloader = tostring (fontloader) - if fontloader == "reference" or fontloader == "default" then + if fontloader == "reference" then logreport ("log", 4, "init", "Using reference fontloader.") load_fontloader_module (luaotfload.fontloader_package) + elseif fontloader == "default" then + --- Same as above but loader name not correctly replaced by the file name + --- of our fontloader package. Perhaps something’s wrong with the status + --- file which contains the datestamped filename? In any case, it can’t + --- hurt reporting it as a bug. + logreport ("both", 0, "init", "Fontloader substitution failed, got “default”.") + logreport ("log", 4, "init", "Falling back to reference fontloader.") + load_fontloader_module (luaotfload.fontloader_package) + elseif fontloader == "unpackaged" then logreport ("both", 4, "init", "Loading fontloader components individually.") |