diff options
author | Bruce Momjian <bruce@momjian.us> | 2002-09-06 14:31:16 +0000 |
---|---|---|
committer | Bruce Momjian <bruce@momjian.us> | 2002-09-06 14:31:16 +0000 |
commit | f3b211841ed28cbb9eb66adcad8eaa30d88ad009 (patch) | |
tree | da51caa5cadb4b11176a18bdbd94566abc672d71 /configure | |
parent | 847f8b39d745a1d364df49feefdf71ee05c562df (diff) | |
download | postgresql-f3b211841ed28cbb9eb66adcad8eaa30d88ad009.tar.gz |
Add JAVA_HOME test for Ant.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -3020,6 +3020,11 @@ if test "${with_java+set}" = set; then yes) echo "$as_me:$LINENO: result: yes" >&5 echo "${ECHO_T}yes" >&6 +if test ! "$JAVA_HOME" -o ! -d "$JAVA_HOME" ; then + { { echo "$as_me:$LINENO: error: Set the JAVA_HOME environment variable to build Java components" >&5 +echo "$as_me: error: Set the JAVA_HOME environment variable to build Java components" >&2;} + { (exit 1); exit 1; }; } +fi for ac_prog in jakarta-ant ant ant.sh ant.bat do |