3 # WARNING! Do not edit! http://waf.googlecode.com/git/docs/wafbook/single.html#_obtaining_the_waf_file
10 for v in all_modifs[k]:
11 modif(os.path.join(dir,'waflib'),k,v)
12 def modif(dir,name,fun):
15 for y in'. Tools extras'.split():
16 for x in os.listdir(os.path.join(dir,y)):
18 lst.append(y+os.sep+x)
22 filename=os.path.join(dir,name)
39 all_modifs[x].append(fun)
46 code=code.replace(',e:',',e:')
47 code=code.replace("",'')
48 code=code.replace('','')
52 code=code.replace('next(self.biter)','self.biter.next()')