bindings/python/wscript
changeset 3420 390db659644b
parent 3417 06df0787254b
child 3421 b9424c43753d
--- a/bindings/python/wscript	Sat Jul 12 19:33:29 2008 +0100
+++ b/bindings/python/wscript	Sat Jul 12 22:06:15 2008 +0100
@@ -334,6 +334,10 @@
             bindgen.hidden_outputs.append("ns3_module_%s.cc" % module.replace('-', '_'))
         bindgen.prio = 50
 
+        bindgen.os_env = dict(os.environ)
+        if not env['ENABLE_GTK_CONFIG_STORE']:
+            bindgen.os_env['DISABLE_GTK_CONFIG_STORE'] = "1"
+
 
     ## we build python bindings if either we have the tools to
     ## generate them or if the pregenerated source file is already