diff options
-rw-r--r-- | src/luarocks/command_line.lua | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/luarocks/command_line.lua b/src/luarocks/command_line.lua index dbf64b9c..e1c9f492 100644 --- a/src/luarocks/command_line.lua +++ b/src/luarocks/command_line.lua | |||
@@ -31,12 +31,17 @@ end | |||
31 | local function replace_tree(flags, args, tree) | 31 | local function replace_tree(flags, args, tree) |
32 | tree = dir.normalize(tree) | 32 | tree = dir.normalize(tree) |
33 | flags["tree"] = tree | 33 | flags["tree"] = tree |
34 | local added = false | ||
34 | for i = 1, #args do | 35 | for i = 1, #args do |
35 | if args[i]:match("%-%-tree=") then | 36 | if args[i]:match("%-%-tree=") then |
36 | args[i] = "--tree="..tree | 37 | args[i] = "--tree="..tree |
38 | added = true | ||
37 | break | 39 | break |
38 | end | 40 | end |
39 | end | 41 | end |
42 | if not added then | ||
43 | args[#args + 1] = "--tree="..tree | ||
44 | end | ||
40 | path.use_tree(tree) | 45 | path.use_tree(tree) |
41 | end | 46 | end |
42 | 47 | ||