author | Tom Henderson <tomh@tomh.org> |
Fri, 30 Dec 2011 15:39:36 -0800 | |
changeset 7669 | ab2af491785a |
parent 7668 | e87369a823eb |
child 7671 | 642d689ead46 |
child 8500 | 86d777ca8026 |
--- a/test.py Fri Dec 30 18:45:18 2011 +0100 +++ b/test.py Fri Dec 30 15:39:36 2011 -0800 @@ -500,7 +500,7 @@ # and use that result. # def read_waf_config(): - for line in open(".lock-wafbuild", "rt"): + for line in open(".lock-waf_" + sys.platform + "_build", "rt"): if line.startswith("out_dir ="): key, val = line.split('=') out_dir = eval(val.strip())