diff options
| author | ruki <[email protected]> | 2020-05-16 21:51:26 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2020-05-16 21:51:26 +0800 |
| commit | a41ba24cf16ee3426c288f569cd41ae8cec4ab6d (patch) | |
| tree | 65618fe41ad6a71d1d36c730014d50fd15139ea8 | |
| parent | 3e1175f04cf35ae186e0c930bdce7aa467bab818 (diff) | |
fix config cache for checking tool
| -rw-r--r-- | xmake/core/platform/platform.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xmake/core/platform/platform.lua b/xmake/core/platform/platform.lua index 51cbcf33f..d80b72be5 100644 --- a/xmake/core/platform/platform.lua +++ b/xmake/core/platform/platform.lua @@ -366,6 +366,7 @@ function platform.tool(toolkind, plat) if program then config.set(toolkind, program, {force = true, readonly = true}) config.set("__toolname_" .. toolkind, toolname) + config.save() else -- TODO deprecated -- check it first |