diff options
Diffstat (limited to 'src/luarocks/command_line.lua')
-rw-r--r-- | src/luarocks/command_line.lua | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/luarocks/command_line.lua b/src/luarocks/command_line.lua index 02793c5a..dfb28e99 100644 --- a/src/luarocks/command_line.lua +++ b/src/luarocks/command_line.lua | |||
@@ -79,6 +79,12 @@ function run_command(...) | |||
79 | end | 79 | end |
80 | end | 80 | end |
81 | command = command:gsub("-", "_") | 81 | command = command:gsub("-", "_") |
82 | |||
83 | if flags["extensions"] then | ||
84 | cfg.use_extensions = true | ||
85 | local type_check = require("luarocks.type_check") | ||
86 | type_check.load_extensions() | ||
87 | end | ||
82 | 88 | ||
83 | if cfg.local_by_default then | 89 | if cfg.local_by_default then |
84 | flags["local"] = true | 90 | flags["local"] = true |