Skip to content

Commit 9de4b62

Browse files
authored
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
1 parent c817d5d commit 9de4b62

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/bootstrap/configure.py

+1-1
Original file line numberDiff line numberDiff line change
@@ -193,7 +193,7 @@ def is_value_list(key):
193193
if option.value:
194194
print('\t{:30} {}'.format('--{}=VAL'.format(option.name), option.desc))
195195
else:
196-
print('\t{:30} {}'.format('--enable-{}'.format(option.name), option.desc))
196+
print('\t{:30} {}'.format('--enable-{} OR --disable-{}'.format(option.name, option.name), option.desc))
197197
print('')
198198
print('This configure script is a thin configuration shim over the true')
199199
print('configuration system, `config.toml`. You can explore the comments')

0 commit comments

Comments
 (0)