Re: tool-maven-plugin

Michael Nash <[email protected]> Wed, 05 Oct 2005 05:52:27 -0400

Newsgroups	gmane.comp.java.keel.devel
Organization	JGlobal Limited
Message-ID	<1128505946.15369.1550.camel@139-142-200-104>

Pierre:

Yes, that's normal: the maven tool now checks for the latest versions of
all jars, and notes them in the project.xml. Maybe we need an option to
disable this? 

Mike

On Wed, 2005-10-05 at 05:15, Raoul Pierre wrote:
> Mike,
> 
> I just updated tool-maven and tool-maven-plugin. The time needed by a 
> maven keel:maven increases a lot, i.e. for the same project.file, from 2 
> min 37 sec to 6 min 52 sec.
> 
> Is it normal?
> 
> Pierre
> 
> 
> http://keelframework.org/documentation.shtml
> Keelgroup mailing list
> [email protected]
> http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com

http://keelframework.org/documentation.shtml
Keelgroup mailing list
[email protected]
http://lists.keelframework.com/listinfo.cgi/keelgroup-keelframework.com