]> git.pld-linux.org Git - packages/tomcat.git/blobdiff - tomcat-build.patch
- up to 7.0.81
[packages/tomcat.git] / tomcat-build.patch
index 403779e35bc81e144308e1d1c9c6ac1c5604ee26..f0eea3b511d5430b870a4fdeef063f47ee2225c6 100644 (file)
        maxmemory="512m"
        failonerror="true"
        executable="${java.7.home}/bin/javadoc">
+--- apache-tomcat-7.0.81-src/build.xml~        2017-10-04 11:16:30.000000000 +0200
++++ apache-tomcat-7.0.81-src/build.xml 2017-10-04 11:48:42.218524719 +0200
+@@ -1932,7 +1932,7 @@ Apache Tomcat ${version} native binaries
+       encoding="ISO-8859-1"
+       docencoding="ISO-8859-1"
+       charset="ISO-8859-1"
+-      additionalparam="-breakiterator -notimestamp"
++      additionalparam="-Xdoclint:none -breakiterator -notimestamp"
+       maxmemory="512m"
+       failonerror="true"
+       executable="${java.7.home}/bin/javadoc">
This page took 0.097219 seconds and 4 git commands to generate.