diff options
Diffstat (limited to 'tools/options.py')
| -rw-r--r-- | tools/options.py | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/tools/options.py b/tools/options.py index c84d824ba9..ef22230aa5 100644 --- a/tools/options.py +++ b/tools/options.py @@ -121,19 +121,18 @@ def AddOptions(): action = 'store_true', default = False, help = 'reset the project configurations to default') - AddOption('--pyconfig', + AddOption('--pyconfig', '--guiconfig', dest = 'pyconfig', action = 'store_true', default = False, help = 'Python GUI menuconfig for RT-Thread BSP') - AddOption('--pyconfig-silent', + AddOption('--pyconfig-silent', '--defconfig', dest = 'pyconfig-silent', action = 'store_true', default = False, help = 'Don`t show pyconfig window') - if platform.system() != 'Windows': - AddOption('--menuconfig', - dest = 'menuconfig', - action = 'store_true', - default = False, - help = 'make menuconfig for RT-Thread BSP') + AddOption('--menuconfig', + dest = 'menuconfig', + action = 'store_true', + default = False, + help = 'make menuconfig for RT-Thread BSP') |