diff options
| author | ruki <[email protected]> | 2022-12-17 13:39:28 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-12-17 13:39:28 +0800 |
| commit | 5e6421e66209d331ea502abca335dd48684621a6 (patch) | |
| tree | 2c4d881dc9e7e3b2307b69eb35534234c0652aff | |
| parent | 12a23820137b7778ded573337043d5959ee9ba04 (diff) | |
fix xmake.sh
| m--------- | core/src/tbox/tbox | 0 | ||||
| -rwxr-xr-x | core/src/tbox/xmake.sh | 1 |
2 files changed, 1 insertions, 0 deletions
diff --git a/core/src/tbox/tbox b/core/src/tbox/tbox -Subproject 592d19f5efd42204a2bfcf9ac3fef05e9fe251c +Subproject 09f715aabf543981544112b929f105a77bc90f1 diff --git a/core/src/tbox/xmake.sh b/core/src/tbox/xmake.sh index ed5d59d2a..9bd760793 100755 --- a/core/src/tbox/xmake.sh +++ b/core/src/tbox/xmake.sh @@ -14,6 +14,7 @@ hide_options() { for name in $options; do option "${name}" set_showmenu false + option_end done } hide_options |