summaryrefslogtreecommitdiff
path: root/lib/uid_wrapper/wscript
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)