mirror of
https://github.com/samba-team/samba.git
synced 2025-02-26 21:57:41 +03:00
build: --picky-developer implies --enable-developer
Have --picky-developer enable --enable-developer too, instead of requiring both options to be specified. This makes it obey the principle of least surprise. Signed-off-by: Martin Schwenke <martin@meltin.net> Reviewed-by: Andrew Bartlett <abartlet@samba.org> Autobuild-User(master): Martin Schwenke <martins@samba.org> Autobuild-Date(master): Tue Oct 27 07:19:33 CET 2015 on sn-devel-104
This commit is contained in:
parent
151a7dabd5
commit
cbae31c794
@ -96,9 +96,13 @@ def set_options(opt):
|
||||
gr.add_option('--enable-developer',
|
||||
help=("Turn on developer warnings and debugging"),
|
||||
action="store_true", dest='developer', default=False)
|
||||
def picky_developer_callback(option, opt_str, value, parser):
|
||||
parser.values.developer = True
|
||||
parser.values.picky_developer = True
|
||||
gr.add_option('--picky-developer',
|
||||
help=("Treat all warnings as errors (enable -Werror)"),
|
||||
action="store_true", dest='picky_developer', default=False)
|
||||
action="callback", callback=picky_developer_callback,
|
||||
dest='picky_developer', default=False)
|
||||
gr.add_option('--fatal-errors',
|
||||
help=("Stop compilation on first error (enable -Wfatal-errors)"),
|
||||
action="store_true", dest='fatal_errors', default=False)
|
||||
|
Loading…
x
Reference in New Issue
Block a user