Skip to content

Commit

Permalink
Update helper docs display disable option
Browse files Browse the repository at this point in the history
Updated helper docs via configure.py to make it clearer that users can control options with enable and disable
  • Loading branch information
AvatarSenju authored Oct 1, 2024
1 parent c817d5d commit 9de4b62
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 9de4b62

Please sign in to comment.