Skip to content

Commit

Permalink
Auto merge of #131117 - AvatarSenju:helpstring-fix, r=onur-ozkan
Browse files Browse the repository at this point in the history
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
  • Loading branch information
bors committed Oct 2, 2024
2 parents 2305aad + 9de4b62 commit 360f7d7
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/bootstrap/configure.py
Original file line number Diff line number Diff line change
Expand Up @@ -193,7 +193,7 @@ def is_value_list(key):
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')
Expand Down

0 comments on commit 360f7d7

Please sign in to comment.