diff options
Diffstat (limited to 'lib/uid_wrapper/wscript')
| -rw-r--r-- | lib/uid_wrapper/wscript | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/lib/uid_wrapper/wscript b/lib/uid_wrapper/wscript new file mode 100644 index 0000000000..2ca2af6648 --- /dev/null +++ b/lib/uid_wrapper/wscript @@ -0,0 +1,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) + |