Re: pgsql-server/. configure configure.in

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.

Actually, it is not the same because it still goes on to test to see if
ant works.  It does not assume ant works just because JAVA_HOME is
defined.  In fact, ant requires version 1.5 so we have even anther test
in there before will consider Ant working.

I didn't know ant can work without JAVA_HOME defined.  Let me see if I
can fiddle with the test so it throws out the Ant output on a failure
rather than testing for JAVA_HOME.

--
  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