test.py
changeset 7669 ab2af491785a
parent 7488 72d0c878f3c7
child 7682 8813ef4cec0f
--- 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())