On Sat, 20 Oct 2001, David Sitsky <[EMAIL PROTECTED]> wrote:

> Why is this a user property, rather than just a property?

So that you cannot change it with <property> as it is a "constant" for
each and every build process.

> If this is correct, could somebody explain to me what the
> differences are betwen a user property and an ordinary property?

User properties are all system properties and those properties that
have been defined on the command line (or nested <property>s if
invoked from <ant>).  They are designed to be even less mutable than
"normal" properties 8-)

Stefan

Reply via email to