1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-27 12:41:57 +03:00

Check for jakarta-ant before ant, in case 'ant' is the screen saver program.

Then, run a small reality test with $ANT to see whether it works.
This commit is contained in:
Peter Eisentraut
2001-07-04 21:22:55 +00:00
parent 499c81d3a3
commit 2f3bd9eb88
2 changed files with 462 additions and 364 deletions

773
configure vendored

File diff suppressed because it is too large Load Diff