From 9de4b62faf0d0156106a6614589bc78da6531e13 Mon Sep 17 00:00:00 2001 From: Anushrut <32019180+AvatarSenju@users.noreply.github.com> Date: Wed, 2 Oct 2024 01:47:18 +0530 Subject: [PATCH] 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 --- src/bootstrap/configure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/bootstrap/configure.py b/src/bootstrap/configure.py index 49d564642bd..a555a26367d 100755 --- a/src/bootstrap/configure.py +++ b/src/bootstrap/configure.py @@ -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')