rendered paste bodydiff -r 9a2b20293ae5 bindings/python/wscript--- a/bindings/python/wscript Mon Sep 08 09:22:45 2008 -0700+++ b/bindings/python/wscript Mon Sep 08 18:04:57 2008 +0100@@ -407,6 +407,7 @@ for (name, caption, was_enabled, reason_not_enabled) in env['NS3_OPTIONAL_FEATURES']: if was_enabled: features.append(name)+ print "---- features: ", features bindgen.os_env['NS3_ENABLED_FEATURES'] = ','.join(features) diff -r 9a2b20293ae5 src/contrib/wscript--- a/src/contrib/wscript Mon Sep 08 09:22:45 2008 -0700+++ b/src/contrib/wscript Mon Sep 08 18:04:57 2008 +0100@@ -2,7 +2,7 @@ def configure(conf): check = conf.create_pkgconfig_configurator()- check.name = 'gtk+-2.0 >= 2.12'+ check.name = 'gtk+-2.0 >= 2.12123' check.uselib = 'GTK_CONFIG_STORE' check.mandatory = False conf.env['ENABLE_GTK_CONFIG_STORE'] = check.run()