tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From ma...@apache.org
Subject cvs commit: jakarta-tomcat-5 build.xml tomcat.nsi
Date Sun, 01 Feb 2004 18:27:28 GMT
markt       2004/02/01 10:27:28

  Modified:    .        build.xml tomcat.nsi
  Log:
  - Update build process to include WebDAV servlet.
  
  Revision  Changes    Path
  1.176     +4 -0      jakarta-tomcat-5/build.xml
  
  Index: build.xml
  ===================================================================
  RCS file: /home/cvs/jakarta-tomcat-5/build.xml,v
  retrieving revision 1.175
  retrieving revision 1.176
  diff -u -r1.175 -r1.176
  --- build.xml	31 Jan 2004 03:55:54 -0000	1.175
  +++ build.xml	1 Feb 2004 18:27:28 -0000	1.176
  @@ -561,6 +561,10 @@
           <property name="flags.hide" value="true" />
       </ant>
   
  +    <ant dir="${catalina.home}/webapps/webdav" target="build-main">
  +        <property name="webapps.build" value="${tomcat.build}/webapps" />
  +    </ant>
  +
       <!-- Precompiling and fixing webapps -->
       <antcall target="build-webapps-precompile" /> 
       <antcall target="fix-webapps" />
  
  
  
  1.41      +3 -1      jakarta-tomcat-5/tomcat.nsi
  
  Index: tomcat.nsi
  ===================================================================
  RCS file: /home/cvs/jakarta-tomcat-5/tomcat.nsi,v
  retrieving revision 1.40
  retrieving revision 1.41
  diff -u -r1.40 -r1.41
  --- tomcat.nsi	27 Dec 2003 17:32:23 -0000	1.40
  +++ tomcat.nsi	1 Feb 2004 18:27:28 -0000	1.41
  @@ -215,6 +215,7 @@
     SetOutPath $INSTDIR\webapps
     File /r webapps\jsp-examples
     File /r webapps\servlets-examples
  +  File /r webapps\webdav
   
   SectionEnd
   
  @@ -493,6 +494,7 @@
     RMDir /r "$INSTDIR\webapps\tomcat-docs"
     RMDir /r "$INSTDIR\webapps\servlets-examples"
     RMDir /r "$INSTDIR\webapps\jsp-examples"
  +  RMDir /r "$INSTDIR\webapps\webdav"
     RMDir "$INSTDIR\webapps"
     RMDir /r "$INSTDIR\work"
     RMDir /r "$INSTDIR\temp"
  
  
  

---------------------------------------------------------------------
To unsubscribe, e-mail: tomcat-dev-unsubscribe@jakarta.apache.org
For additional commands, e-mail: tomcat-dev-help@jakarta.apache.org


Mime
View raw message