diff options
| author | Anushrut <32019180+AvatarSenju@users.noreply.github.com> | 2024-10-02 01:47:18 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-02 01:47:18 +0530 |
| commit | 9de4b62faf0d0156106a6614589bc78da6531e13 (patch) | |
| tree | 8a070be00246091d3b586747b010c833c4620f61 | |
| parent | c817d5dc2050ec443516f9700c19b1419593a83d (diff) | |
| download | rust-9de4b62faf0d0156106a6614589bc78da6531e13.tar.gz rust-9de4b62faf0d0156106a6614589bc78da6531e13.zip | |
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
| -rwxr-xr-x | src/bootstrap/configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
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') |