diff options
Diffstat (limited to 'lib/uid_wrapper/wscript')
| -rw-r--r-- | lib/uid_wrapper/wscript | 3 |
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) |