File tomcat-7.0.52-property-build.windows.patch of Package tomcat

diff -Naur apache-tomcat-7.0.52-src.orig/build.properties.default apache-tomcat-7.0.52-src/build.properties.default
--- apache-tomcat-7.0.52-src.orig/build.properties.default	2014-02-13 08:40:56.000000000 +0100
+++ apache-tomcat-7.0.52-src/build.properties.default	2014-03-14 23:21:06.654533928 +0100
@@ -217,3 +217,6 @@
 cobertura.jar=${cobertura.home}/cobertura-${cobertura.version}.jar
 cobertura.lib=${cobertura.home}/lib
 cobertura.loc=${base-sf.loc}/cobertura/cobertura-2.0.3-bin.tar.gz
+
+# ----- Build on Windows ----
+build.windows=false
diff -Naur apache-tomcat-7.0.52-src.orig/build.xml apache-tomcat-7.0.52-src/build.xml
--- apache-tomcat-7.0.52-src.orig/build.xml	2014-02-13 08:40:56.000000000 +0100
+++ apache-tomcat-7.0.52-src/build.xml	2014-03-14 23:17:02.778479339 +0100
@@ -2702,7 +2702,7 @@
   </target>
 
   <target name="download-dist"
-          description="Download additional components for a distribution" >
+          description="Download additional components for a distribution" if="${build.windows}">
 
     <antcall target="downloadzip-2">
       <param name="sourcefile.1" value="${tomcat-native.win.1}"/>