diff options
Diffstat (limited to 'lib/uid_wrapper/wscript')
| -rw-r--r-- | lib/uid_wrapper/wscript | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/lib/uid_wrapper/wscript b/lib/uid_wrapper/wscript index 434d4fa5a8..1501d0e5ce 100644 --- a/lib/uid_wrapper/wscript +++ b/lib/uid_wrapper/wscript @@ -3,14 +3,15 @@ import Options def set_options(opt): - gr = opt.option_group('developer options') - gr.add_option('--enable-uid-wrapper', + gr = opt.option_group('developer options') + gr.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): + Options.options.developer or + Options.options.enable_selftest): conf.DEFINE('UID_WRAPPER', 1) + conf.ADD_GLOBAL_DEPENDENCY('uid_wrapper') |