diff options
| -rw-r--r-- | lib/nss_wrapper/wscript | 7 | ||||
| -rw-r--r-- | lib/socket_wrapper/wscript | 3 | ||||
| -rw-r--r-- | lib/uid_wrapper/wscript | 3 |
3 files changed, 8 insertions, 5 deletions
diff --git a/lib/nss_wrapper/wscript b/lib/nss_wrapper/wscript index 44da63339f..4b3ec44f16 100644 --- a/lib/nss_wrapper/wscript +++ b/lib/nss_wrapper/wscript @@ -3,9 +3,10 @@ import Options def set_options(opt): - opt.add_option('--enable-nss-wrapper', - help=("Turn on nss wrapper library (default=no)"), - action="store_true", dest='enable_nss_wrapper', default=False) + gr = opt.option_group('developer options') + gr.add_option('--enable-nss-wrapper', + help=("Turn on nss wrapper library (default=no)"), + action="store_true", dest='enable_nss_wrapper', default=False) def configure(conf): if (Options.options.enable_nss_wrapper or diff --git a/lib/socket_wrapper/wscript b/lib/socket_wrapper/wscript index aa00e591d1..9afd115eb2 100644 --- a/lib/socket_wrapper/wscript +++ b/lib/socket_wrapper/wscript @@ -3,7 +3,8 @@ import Options def set_options(opt): - opt.add_option('--enable-socket-wrapper', + gr = opt.option_group('developer options') + gr.add_option('--enable-socket-wrapper', help=("Turn on socket wrapper library (default=no)"), action="store_true", dest='enable_socket_wrapper', default=False) 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) |