s3: piddir creation fix part 2.
[ira/wip.git] / lib / uid_wrapper / wscript
1 #!/usr/bin/env python
2
3 import Options
4
5 def set_options(opt):
6     gr = opt.option_group('developer options')
7     gr.add_option('--enable-uid-wrapper',
8                    help=("Turn on uid wrapper library (default=no)"),
9                    action="store_true", dest='enable_uid_wrapper', default=False)
10
11 def configure(conf):
12     if (Options.options.enable_uid_wrapper or
13     Options.options.developer or
14     Options.options.enable_selftest):
15         conf.DEFINE('UID_WRAPPER', 1)
16         conf.ADD_GLOBAL_DEPENDENCY('uid_wrapper')
17