summaryrefslogtreecommitdiff
path: root/lib/uid_wrapper/wscript
blob: 9eb828866f1573a15b1efc08128de8236cadad42 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
#!/usr/bin/env python

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 or
	Options.options.enable_selftest):
        conf.DEFINE('UID_WRAPPER', 1)