diff options
author | Andrew Tridgell <tridge@samba.org> | 2010-04-09 19:54:40 +1000 |
---|---|---|
committer | Andrew Tridgell <tridge@samba.org> | 2010-04-09 20:31:06 +1000 |
commit | 5f90d3260be8f30e5d9ccd542aca1807d58d2443 (patch) | |
tree | d19d6f4acbc364979247b7d0774319375efcb7b3 /buildtools/wafsamba/wscript | |
parent | 0d92dd1074971a3c1e3116de5188a475298587a2 (diff) | |
download | samba-5f90d3260be8f30e5d9ccd542aca1807d58d2443.tar.gz samba-5f90d3260be8f30e5d9ccd542aca1807d58d2443.tar.bz2 samba-5f90d3260be8f30e5d9ccd542aca1807d58d2443.zip |
build: added --picky-developer and --fatal-errors
Added configure options for --fatal-errors and --picky-developer. This
removes -Wfatal-errors from the --enable-developer flags.
Diffstat (limited to 'buildtools/wafsamba/wscript')
-rw-r--r-- | buildtools/wafsamba/wscript | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/buildtools/wafsamba/wscript b/buildtools/wafsamba/wscript index 9bef9b63b0..1ae6b97640 100644 --- a/buildtools/wafsamba/wscript +++ b/buildtools/wafsamba/wscript @@ -45,6 +45,12 @@ def set_options(opt): opt.add_option('--enable-developer', help=("Turn on developer warnings and debugging"), action="store_true", dest='developer', default=False) + opt.add_option('--picky-developer', + help=("Treat all warnings as errors (enable -Werror)"), + action="store_true", dest='picky_developer', default=False) + opt.add_option('--fatal-errors', + help=("Stop compilation on first error (enable -Wfatal-errors)"), + action="store_true", dest='fatal_errors', default=False) opt.add_option('--enable-gccdeps', help=("Enable use gcc -MD dependency module"), action="store_true", dest='enable_gccdeps', default=False) |