diff options
Diffstat (limited to 'tomcat/tomcat.patch')
-rw-r--r-- | tomcat/tomcat.patch | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/tomcat/tomcat.patch b/tomcat/tomcat.patch new file mode 100644 index 000000000000..133b67d69fba --- /dev/null +++ b/tomcat/tomcat.patch @@ -0,0 +1,36 @@ +*** /dev/null 2008-02-01 11:10:25.957002171 +0100 +--- misc/build/jakarta-tomcat-5.0.30-src/jakarta-servletapi-5/build.xml 2008-02-01 16:10:27.000000000 +0100 +*************** +*** 0 **** +--- 1,31 ---- ++ <project name="jsr152 and jsr154 in Debian" default="debuild" basedir="."> ++ ++ <target name="debuild" ++ description="Build jsr154 and jsr152 for Debian (Default)"> ++ <echo message="Building Servlet 2.4 API"/> ++ <ant antfile="jsr154/build.xml" ++ target="dist" ++ inheritAll="false" ++ /> ++ <echo message="Building JSP 2.0 API"/> ++ <ant antfile="jsr152/build.xml" ++ target="dist" ++ inheritAll="false" ++ /> ++ </target> ++ ++ <target name="clean" description="Clean"> ++ <echo message="Cleaning JSP 2.0 API"/> ++ <ant antfile="jsr152/build.xml" ++ target="clean" ++ inheritAll="false" ++ /> ++ <echo message="Cleaning Servlet 2.4 API"/> ++ <ant antfile="jsr154/build.xml" ++ target="clean" ++ inheritAll="false" ++ /> ++ <delete dir="tmp"/> ++ </target> ++ ++ </project> |