diff options
| author | ruki <[email protected]> | 2018-10-17 22:57:24 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2018-10-17 11:44:27 +0800 |
| commit | 3ae8c87c61b28be22e944235e3c4c23ff49d2584 (patch) | |
| tree | 208cc832299e7930c32805a55bf33e2191b1fc14 /core/src/tbox/xmake.lua | |
| parent | 35ac60365af7611caa7dfb3bbf1f517bf56bdc0b (diff) | |
update core/xmake.lua
Diffstat (limited to 'core/src/tbox/xmake.lua')
| -rw-r--r-- | core/src/tbox/xmake.lua | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/core/src/tbox/xmake.lua b/core/src/tbox/xmake.lua index 9f057b294..91730628c 100644 --- a/core/src/tbox/xmake.lua +++ b/core/src/tbox/xmake.lua @@ -74,7 +74,7 @@ if is_mode("release", "profile") then end -- small or micro? - if is_option("small", "micro") then + if has_config("small", "micro") then -- enable smallest optimization set_optimize("smallest") @@ -85,7 +85,7 @@ if is_mode("release", "profile") then end -- small or micro? -if is_option("small", "micro") then +if has_config("small", "micro") then -- add defines for small add_defines("__tb_small__") |
