blob: 2ca2af6648e0e7e335f4bb1b0e9614f13f442090 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
import Options
def set_options(opt):
opt.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:
conf.DEFINE('UID_WRAPPER', 1)
|