lib/uid_wrapper/wscript

   1 import Options
   2
   3 def set_options(opt):
   4         opt.add_option('--enable-uid-wrapper',
   5                    help=("Turn on uid wrapper library (default=no)"),
   6                    action="store_true", dest='enable_uid_wrapper', default=False)
   7
   8 def configure(conf):
   9     if Options.options.enable_uid_wrapper or Options.options.developer:
  10         conf.DEFINE('UID_WRAPPER', 1)
  11