summaryrefslogtreecommitdiff
path: root/lib/uid_wrapper/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'lib/uid_wrapper/wscript')
-rw-r--r--lib/uid_wrapper/wscript3
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/uid_wrapper/wscript b/lib/uid_wrapper/wscript
index 9eb828866f..434d4fa5a8 100644
--- a/lib/uid_wrapper/wscript
+++ b/lib/uid_wrapper/wscript
@@ -3,7 +3,8 @@
import Options
def set_options(opt):
- opt.add_option('--enable-uid-wrapper',
+ gr = opt.option_group('developer options')
+ gr.add_option('--enable-uid-wrapper',
help=("Turn on uid wrapper library (default=no)"),
action="store_true", dest='enable_uid_wrapper', default=False)