on 5/14/02 1:31 PM, "[EMAIL PROTECTED]" <[EMAIL PROTECTED]>
wrote:
> This is a patch that supports a situation where a user of maven may be
> responsible for updating the installed version ( have write acces to
> maven.home, but has no permission to create a directory in ${maven.home}/..
>
> Instead of deleting the directory, we just delete the contents. Before
> creating maven.home, check if it already exists. Also removes a duplicate
> delete of maven home in the install target.
>
> -Peter
Could you please re-submit your patches without tab's in it?
Thx!
-jon
--
To unsubscribe, e-mail: <mailto:[EMAIL PROTECTED]>
For additional commands, e-mail: <mailto:[EMAIL PROTECTED]>
