tomcat-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Bob Herrmann <...@jadn.com>
Subject Re: cvs commit: jakarta-tomcat-5 gump.xml
Date Sat, 05 Oct 2002 00:41:48 GMT
Oops.  Sorry.  Thanks. 

On Fri, 2002-10-04 at 18:11, costin@apache.org wrote:
> costin      2002/10/04 15:11:21
> 
>   Modified:    .        gump.xml
>   Log:
>   I think this is the correct syntax.
>   
>   Revision  Changes    Path
>   1.11      +1 -1      jakarta-tomcat-5/gump.xml
>   
>   Index: gump.xml
>   ===================================================================
>   RCS file: /home/cvs/jakarta-tomcat-5/gump.xml,v
>   retrieving revision 1.10
>   retrieving revision 1.11
>   diff -u -r1.10 -r1.11
>   --- gump.xml	4 Oct 2002 18:36:54 -0000	1.10
>   +++ gump.xml	4 Oct 2002 22:11:20 -0000	1.11
>   @@ -12,7 +12,7 @@
>    
>    
>    <!-- this is basically the release target, but without the clean - which was destroying
freshly built repos. -->  
>   -    <ant target="prepare-release dist dist-source installer package-zip package-tgz
package-src-zip package-src-tgz"/>
>   +    <ant target="prepare-release dist dist-source installer package-zip package-tgz
package-src-zip package-src-tgz">
>          <property name="tomcat33.home" value=""/>
>          <property name="ant.home" reference="home" project="jakarta-ant"/>
>          <property name="jsse.home" reference="home" project="jsse"/>
>   
>   
>   
> 
> --
> To unsubscribe, e-mail:   <mailto:tomcat-dev-unsubscribe@jakarta.apache.org>
> For additional commands, e-mail: <mailto:tomcat-dev-help@jakarta.apache.org>
-- 
Bob Herrmann <bob@jadn.com>


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


Mime
View raw message