wscript
changeset 7538 e4f691d808b1
parent 7532 0b875c99c8b4
child 7539 fd2a26e455b3
equal deleted inserted replaced
7537:375e4985e37a 7538:e4f691d808b1
    54 
    54 
    55 # local modules
    55 # local modules
    56 import wutils
    56 import wutils
    57 
    57 
    58 Configure.autoconfig = 0
    58 Configure.autoconfig = 0
       
    59 
       
    60 # until http://code.google.com/p/waf/issues/detail?id=1039 gets fixed...
       
    61 wutils.monkey_patch_Runner_start()
       
    62 
    59 
    63 
    60 # the following two variables are used by the target "waf dist"
    64 # the following two variables are used by the target "waf dist"
    61 VERSION = file("VERSION", "rt").read().strip()
    65 VERSION = file("VERSION", "rt").read().strip()
    62 APPNAME = 'ns'
    66 APPNAME = 'ns'
    63 
    67