s3: piddir creation fix part 2.
[ira/wip.git] / lib / uid_wrapper / wscript
index 2ca2af6648e0e7e335f4bb1b0e9614f13f442090..1501d0e5ce76c0c44d5c8687cfc30570c598ae6e 100644 (file)
@@ -1,11 +1,17 @@
+#!/usr/bin/env python
+
 import Options
 
 def set_options(opt):
-        opt.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:
+    if (Options.options.enable_uid_wrapper or
+    Options.options.developer or
+    Options.options.enable_selftest):
         conf.DEFINE('UID_WRAPPER', 1)
+        conf.ADD_GLOBAL_DEPENDENCY('uid_wrapper')