aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorlloyd <[email protected]>2015-04-12 05:00:51 +0000
committerlloyd <[email protected]>2015-04-12 05:00:51 +0000
commit1f3676ff66fa6b444a45ce7196d9316de25d792d (patch)
tree93e5aadd8b47cd5345476f1056eea0245d5e201a
parent8188ace872781c5ed6f6d27dad987bed4c8bd40a (diff)
Add back --debug-mode
-rwxr-xr-xconfigure.py6
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,