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) |
Add JAVA_HOME test for Ant.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/configure b/configure index 4d2c5b377d4..07a1436d3ca 100755 --- a/configure +++ b/configure @@ -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 |