debian/midori
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Print defaults of enable configure options in help

Browse source
This commit is contained in:
Christian Dywan 2011-05-31 00:18:02 +02:00
parent b8cbfe2fce
commit 84c5e08515
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
wscript
View file

@ -330,8 +330,9 @@ def set_options (opt):
if group == None: if group == None:
group = opt group = opt
option_ = option.replace ('-', '_') option_ = option.replace ('-', '_')
group.add_option ('--enable-' + option, action='store_true', group.add_option ('--enable-' + option, action='store_true', default=False,
default=False, help='Enable ' + desc, dest='enable_' + option_) help='Enable ' + desc + ' [Default: ' + str (not disable) + ']',
dest='enable_' + option_)
group.add_option ('--disable-' + option, action='store_true', group.add_option ('--disable-' + option, action='store_true',
default=disable, help='Disable ' + desc, dest='disable_' + option_) default=disable, help='Disable ' + desc, dest='disable_' + option_)