diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2001-07-04 21:22:55 +0000 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2001-07-04 21:22:55 +0000 |
commit | 2f3bd9eb880ba6138aca5c45167bbe2442fc1aeb (patch) | |
tree | 1d93dfaca6b907849bda7857dc041cf9a7c774c8 /src | |
parent | 499c81d3a3ffef4645b720ace5909f00609bff79 (diff) | |
download | postgresql-2f3bd9eb880ba6138aca5c45167bbe2442fc1aeb.tar.gz postgresql-2f3bd9eb880ba6138aca5c45167bbe2442fc1aeb.zip |
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.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions