diff options
author | lloyd <[email protected]> | 2013-11-16 13:19:01 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2013-11-16 13:19:01 +0000 |
commit | cac58ad976fffdab5d78a4c835c0e3cbd9e33ae8 (patch) | |
tree | 0f839d171f1c9d97d600f5466c11fb44d53a18a4 /configure.py | |
parent | 85a140f3d1ade15e6eb5aff1db209f41b675df75 (diff) |
Enable maintainer mode checks in all builds of non-release versions.
Use new --release-mode option to disable.
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 78d8aa2bd..84ac58f87 100755 --- a/configure.py +++ b/configure.py @@ -41,6 +41,10 @@ import botan_version def flatten(l): return sum(l, []) +def is_official_release(): + # Assume a release date implies official release + return (botan_version.release_datestamp > 20130000) + def get_vc_revision(): def get_vc_revision(cmdlist): @@ -320,7 +324,12 @@ def process_command_line(args): dest='with_doxygen', help=optparse.SUPPRESS_HELP) build_group.add_option('--maintainer-mode', dest='maintainer_mode', - action='store_true', default=False, + action='store_true', + default=not is_official_release(), + help="Enable extra warnings") + + build_group.add_option('--release-mode', dest='maintainer_mode', + action='store_false', help=optparse.SUPPRESS_HELP) build_group.add_option('--dirty-tree', dest='clean_build_tree', |