diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-14 23:01:00 +0100 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-02-14 23:01:00 +0100 |
commit | fa25005e7ad5ffc537b5aaf39d1b3562daf8f5eb (patch) | |
tree | 3eb95369d2ede4428e4d314dedd13c880fd32ef5 /src/luaotfload-tool.lua | |
parent | 54269ef7c476dc4952ea2e6c08b6e2bfa9f68ba5 (diff) | |
download | luaotfload-fa25005e7ad5ffc537b5aaf39d1b3562daf8f5eb.tar.gz |
[db,tool] make local font scan part of update_names()
Diffstat (limited to 'src/luaotfload-tool.lua')
-rwxr-xr-x | src/luaotfload-tool.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/luaotfload-tool.lua b/src/luaotfload-tool.lua index 9f00956..d405dc7 100755 --- a/src/luaotfload-tool.lua +++ b/src/luaotfload-tool.lua @@ -1174,7 +1174,7 @@ local process_cmdline = function ( ) -- unit -> jobspec action_pending["flush"] = true elseif v == "L" then action_pending["generate"] = true - action_pending["scan_local"] = true + luaotfloadconfig.scan_local = true elseif v == "list" then action_pending["list"] = true result.criterion = optarg[n] |