mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Auto merge of #131117 - AvatarSenju:helpstring-fix, r=onur-ozkan

Browse Source 
Update helper docs display disable option

Updated helper docs via configure.py to make it clearer that users can control options with enable and disable
Fixing issue #129146
This commit is contained in:
bors 2024-10-02 09:50:45 +00:00
commit 360f7d7b73
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/bootstrap/configure.py
View File

@ -193,7 +193,7 @@ if '--help' in sys.argv or '-h' in sys.argv:
if option.value:
print('\t{:30} {}'.format('--{}=VAL'.format(option.name), option.desc))
else:
print('\t{:30} {}'.format('--enable-{}'.format(option.name), option.desc))
print('\t{:30} {}'.format('--enable-{} OR --disable-{}'.format(option.name, option.name), option.desc))
print('')
print('This configure script is a thin configuration shim over the true')
print('configuration system, `config.toml`. You can explore the comments')