diff options
author | lloyd <[email protected]> | 2015-04-12 05:00:51 +0000 |
---|---|---|
committer | lloyd <[email protected]> | 2015-04-12 05:00:51 +0000 |
commit | 1f3676ff66fa6b444a45ce7196d9316de25d792d (patch) | |
tree | 93e5aadd8b47cd5345476f1056eea0245d5e201a | |
parent | 8188ace872781c5ed6f6d27dad987bed4c8bd40a (diff) |
Add back --debug-mode
-rwxr-xr-x | configure.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 637520dd0..c22908047 100755 --- a/configure.py +++ b/configure.py @@ -287,7 +287,11 @@ def process_command_line(args): modes = ['release', 'debug', 'coverage'] build_group.add_option('--build-mode', default='release', metavar='MODE', - help="Build type (one of %s; default %%default)" % (', '.join(modes))) + help="Build mode (one of %s; default %%default)" % (', '.join(modes))) + + build_group.add_option('--debug-mode', action='store_const', + const='debug', dest='build_mode', + help='enable debugging build') build_group.add_option('--enable-shared', dest='build_shared_lib', action='store_true', default=True, |