blob: 1501d0e5ce76c0c44d5c8687cfc30570c598ae6e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
#!/usr/bin/env python
import Options
def set_options(opt):
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)
def configure(conf):
if (Options.options.enable_uid_wrapper or
Options.options.developer or
Options.options.enable_selftest):
conf.DEFINE('UID_WRAPPER', 1)
conf.ADD_GLOBAL_DEPENDENCY('uid_wrapper')
|
