tomcat/tomcat.patch

   1 --- misc/jakarta-tomcat-5.0.30-src/jakarta-servletapi-5/build.xml       Thu Jun 19 16:03:59 2008
   2 +++ misc/build/jakarta-tomcat-5.0.30-src/jakarta-servletapi-5/build.xml Thu Jun 19 15:56:18 2008
   3 @@ -1,1 +1,31 @@
   4 -dummy
   5 +<project name="jsr152 and jsr154 in Debian" default="debuild" basedir=".">
   6 +
   7 +  <target name="debuild"
   8 +   description="Build jsr154 and jsr152 for Debian (Default)">
   9 +    <echo message="Building Servlet 2.4 API"/>
  10 +    <ant antfile="jsr154/build.xml"
  11 +         target="dist"
  12 +         inheritAll="false"
  13 +    />
  14 +    <echo message="Building JSP 2.0 API"/>
  15 +    <ant antfile="jsr152/build.xml"
  16 +         target="dist"
  17 +         inheritAll="false"
  18 +    />
  19 +  </target>
  20 +
  21 +  <target name="clean" description="Clean">
  22 +    <echo message="Cleaning JSP 2.0 API"/>
  23 +    <ant antfile="jsr152/build.xml"
  24 +         target="clean"
  25 +         inheritAll="false"
  26 +    />
  27 +    <echo message="Cleaning Servlet 2.4 API"/>
  28 +    <ant antfile="jsr154/build.xml"
  29 +         target="clean"
  30 +         inheritAll="false"
  31 +    />
  32 +    <delete dir="tmp"/>
  33 +  </target>
  34 +
  35 +</project>