diff options
Diffstat (limited to 'lib/socket_wrapper/wscript')
| -rw-r--r-- | lib/socket_wrapper/wscript | 3 |
1 files changed, 2 insertions, 1 deletions
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) |