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