diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 22:22:37 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2013-11-05 22:22:37 +0100 |
commit | 947a07ebf509f7961673fdfdafb0cf1ea6faec4a (patch) | |
tree | 0d1d834fbe7f5be4f52c57c1fb19aec15fdaa499 /luaotfload-tool.lua | |
parent | e0a62d13f16573b7461269bb022516634b7fce3d (diff) | |
download | luaotfload-947a07ebf509f7961673fdfdafb0cf1ea6faec4a.tar.gz |
[db,tool] adapt --prefer-texmf
Diffstat (limited to 'luaotfload-tool.lua')
-rwxr-xr-x | luaotfload-tool.lua | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index 4f084ae..0cc26d2 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -1195,8 +1195,10 @@ local process_cmdline = function ( ) -- unit -> jobspec result.cache = optarg[n] elseif v == "D" then result.dry_run = true - elseif v == "p" then --- TODO adapt to new db structure - luaotfloadconfig.prioritize = "texmf" + elseif v == "p" then + names.set_location_precedence { + "local", "texmf", "system" + } elseif v == "b" then action_pending["blacklist"] = true elseif v == "diagnose" then |