diff options
Diffstat (limited to 'luaotfload-tool.lua')
| -rwxr-xr-x | luaotfload-tool.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/luaotfload-tool.lua b/luaotfload-tool.lua index e410d44..f2dd98a 100755 --- a/luaotfload-tool.lua +++ b/luaotfload-tool.lua @@ -1065,6 +1065,7 @@ local process_cmdline = function ( ) -- unit -> jobspec local long_options = { alias = 1, cache = 1, + compress = "c", diagnose = 1, ["dry-run"] = "D", ["flush-lookups"] = "l", @@ -1091,7 +1092,7 @@ local process_cmdline = function ( ) -- unit -> jobspec warnings = "w", } - local short_options = "bDfFiIlnpqRSuvVhw" + local short_options = "bcDfFiIlnpqRSuvVhw" local options, _, optarg = alt_getopt.get_ordered_opts (arg, short_options, long_options) @@ -1177,6 +1178,8 @@ local process_cmdline = function ( ) -- unit -> jobspec elseif v == "R" then --- dev only, undocumented luaotfloadconfig.skip_read = true + elseif v == "c" then + luaotfloadconfig.compress = true end end |