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

Index: build.properties.default
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
--- build.properties.default	(date 1518028416000)
+++ build.properties.default	(date 1523220566000)
@@ -242,3 +242,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
Index: build.xml
IDEA additional info:
Subsystem: com.intellij.openapi.diff.impl.patch.CharsetEP
<+>UTF-8
===================================================================
--- build.xml	(date 1518028416000)
+++ build.xml	(date 1523220566000)
@@ -2721,7 +2721,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="downloadfile-2">
       <param name="sourcefile.1" value="${tomcat-native.loc.1}"/>