diff options
| author | ruki <[email protected]> | 2020-07-22 22:38:14 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-07-22 22:38:14 +0800 |
| commit | 6d7d80f1799a2a3b1b5cdae0b1180e8ab9d94132 (patch) | |
| tree | a6e86181bcdbe94f0ddb4e07c7533692023c2665 | |
| parent | 4802ad8f1a33e71bca727f345412b368b279e12a (diff) | |
cache the checking results for target/tools
| -rw-r--r-- | xmake/core/project/target.lua | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/xmake/core/project/target.lua b/xmake/core/project/target.lua index 8f51c339e..03bd46857 100644 --- a/xmake/core/project/target.lua +++ b/xmake/core/project/target.lua @@ -1763,6 +1763,10 @@ function _instance:tool(toolkind) toolinfo[1] = program toolinfo[2] = toolname toolinfo[3] = toolchain_info + config.set("__tool_" .. key, program, {force = true, readonly = true}) + config.set("__toolname_" .. key, toolname) + config.set("__toolchain_info_" .. key, toolchain_info) + config.save() end tools[key] = toolinfo else |