lib/uid_wrapper/wscript


1
2
3
4
5
6
7
8
9
10
11
12
13

#!/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:
        conf.DEFINE('UID_WRAPPER', 1)