Peter Eisentraut wrote:
> Bruce Momjian writes:
>
> > > That is not the point. You are presuming that JAVA_HOME being set is a
> > > prerequisite for Ant to work, which is not the case.
> >
> > I am not. I am presuming if JAVA_HOME _isn't_ defined, ant will not
> > work.
>
> I believe that says the same thing, but it's still a faulty assumption.
> Depending on which system and distribution you use, Ant runs fine without
> JAVA_HOME being set.
OK, JAVA_HOME test removed and config.log mention added.
--
Bruce Momjian | http://candle.pha.pa.us
pgman@candle.pha.pa.us | (610) 359-1001
+ If your life is a hard drive, | 13 Roberts Road
+ Christ can be your backup. | Newtown Square, Pennsylvania 19073
