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

common.ant.xml

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." />