diff options
| author | ruki <[email protected]> | 2016-07-05 18:09:00 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2016-07-05 18:09:00 +0800 |
| commit | 014f21c729cdab110bcc0a712084c50162f08f39 (patch) | |
| tree | 62830ce510891c05937d77699458352a6f65c6e9 /xmake/core/tool/tool.lua | |
| parent | 09317b8b9ba669d5d957455e1a658645efbbc2cb (diff) | |
restore platform.tool
Diffstat (limited to 'xmake/core/tool/tool.lua')
| -rw-r--r-- | xmake/core/tool/tool.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/xmake/core/tool/tool.lua b/xmake/core/tool/tool.lua index ec832d781..8126fb1d9 100644 --- a/xmake/core/tool/tool.lua +++ b/xmake/core/tool/tool.lua @@ -33,6 +33,7 @@ local filter = require("base/filter") local config = require("project/config") local global = require("project/global") local sandbox = require("sandbox/sandbox") +local platform = require("platform/platform") -- the directories of tools function tool._directories(name) @@ -228,7 +229,7 @@ end function tool.load(kind) -- get the shell name - local shellname = config.get(kind) + local shellname = platform.tool(kind) if not shellname then return nil, string.format("cannot get tool for %s", kind) end |
