diff options
| author | ruki <[email protected]> | 2024-02-28 23:52:11 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2024-02-28 23:52:11 +0800 |
| commit | 76ed5332400e7ab6200072161ab5e63bdf387e39 (patch) | |
| tree | 393f1c0bd0f71b61ac12c604c543f435d1451852 | |
| parent | a6b4dd23700f2fe50c51327d16dc3c385bbb9c84 (diff) | |
ignore menu option #4638
| -rw-r--r-- | xmake/actions/config/main.lua | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/xmake/actions/config/main.lua b/xmake/actions/config/main.lua index 6b3bf8c60..b35bd08e6 100644 --- a/xmake/actions/config/main.lua +++ b/xmake/actions/config/main.lua @@ -51,6 +51,7 @@ function _option_filter(name) , export = true , import = true , check = true + , menu = true } return not options[name] end |