wscript
changeset 7538 e4f691d808b1
parent 7532 0b875c99c8b4
child 7539 fd2a26e455b3
--- a/wscript	Fri Sep 23 12:41:24 2011 +0100
+++ b/wscript	Sat Sep 24 13:00:29 2011 +0100
@@ -57,6 +57,10 @@
 
 Configure.autoconfig = 0
 
+# until http://code.google.com/p/waf/issues/detail?id=1039 gets fixed...
+wutils.monkey_patch_Runner_start()
+
+
 # the following two variables are used by the target "waf dist"
 VERSION = file("VERSION", "rt").read().strip()
 APPNAME = 'ns'