lib/socket_wrapper/wscript

   1 #!/usr/bin/env python
   2
   3 import Options
   4
   5 def set_options(opt):
   6     gr = opt.option_group('developer options')
   7     gr.add_option('--enable-socket-wrapper',
   8                    help=("Turn on socket wrapper library (default=no)"),
   9                    action="store_true", dest='enable_socket_wrapper', default=False)
  10
  11 def configure(conf):
  12     if (Options.options.enable_socket_wrapper or Options.options.developer or Options.options.enable_selftest):
  13         conf.DEFINE('SOCKET_WRAPPER', 1)
  14         conf.ADD_GLOBAL_DEPENDENCY('socket_wrapper')
  15