# HG changeset patch # User Simon Howkins # Date 1264592066 0 # Node ID 206902c43bdb3112567498d9b91eb7ebb7c36718 # Parent f9fc2a3f8f70eb8ce504d68452393f7d74801b25 Removed check for value of PDT_HOME, as it doesn't matter where it's installed, and it's turning the CI builds red. diff -r f9fc2a3f8f70 -r 206902c43bdb common/tools/BuildEnv.xml --- a/common/tools/BuildEnv.xml Tue Jan 26 12:13:01 2010 +0000 +++ b/common/tools/BuildEnv.xml Wed Jan 27 11:34:26 2010 +0000 @@ -65,12 +65,6 @@ - - - - - -