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'