ant-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From David Walluck <>
Subject Re: [JPackage-discuss] Fwd: Ant 1.7.0?
Date Wed, 11 Oct 2006 09:51:35 GMT
Hash: SHA1

Peter Reilly wrote:
> 4.) I thought the way to override /etc/ant.d was to set OPT_JAR_LIST to
> empty.
>> Thanks for the reply,
>> I will roll back the change where script/ant does not dot call /etc/ant.conf
>> if ANT_HOME is set.
>> Is there a pointer to documentation on how to use jpackage ant
>> so it can be placed in the ant manual.
>> The current entry has this:

I don't think there exists documentation aside from what is in ant, but
we can give the current process for clarity.

ANT_HOME is currently set in /etc/ant.conf. If a user wishes to override
ANT_HOME, he can set it globally there (or unset it by commenting out
that line). Or, he can set it locally in $HOME/.antrc.

There is an inconsistency in allowing JAVA_HOME to be overridden in the
environment, but I'd be more in favor of removing that than adding this
feature to ant as well. This can be discussed.

The current process for using /etc/ant.d is if OPT_JAR_LIST is
non-empty. The problem is, then, that there's no way to override this
feature without specifying at least one jar. This seems like a small bug.

- --

David Walluck
Version: GnuPG v1.4.5 (GNU/Linux)
Comment: Using GnuPG with Mandriva -


To unsubscribe, e-mail:
For additional commands, e-mail:

View raw message