Fix for issue 525. Reviewed by knorton, tested by knorton, hcc, rdayal, and jat.
git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@241 8db76d5a-ed1c-0410-87a9-c151d255dfc7
diff --git a/common.ant.xml b/common.ant.xml
index a60b173..71b3e1c 100755
--- a/common.ant.xml
+++ b/common.ant.xml
@@ -1,7 +1,21 @@
<project name="common">
+ <!-- gwt.build.iscasesensitivefs is true if the filesystem of the
+ build machine is case-sensitive, false otherwise. Update with
+ new lines for any supported platforms with case-insensitive
+ filesystems
+ -->
+ <condition property="gwt.build.iscasesensitivefs" else="false">
+ <not>
+ <or>
+ <os family="windows"/>
+ </or>
+ </not>
+ </condition>
+
<property name="test.ant.file" location="${gwt.root}/${project.tail}/build.xml" />
<condition property="project.valid">
- <equals arg1="${ant.file}" arg2="${test.ant.file}" />
+ <equals arg1="${ant.file}" arg2="${test.ant.file}"
+ casesensitive="${gwt.build.iscasesensitivefs}"/>
</condition>
<fail unless="project.valid" message="This build file is in an inconsistent state." />
