database/postgres
1
0
Fork 0
mirror of https://github.com/postgres/postgres.git synced 2025-07-30 11:03:19 +03:00
Code Activity

Add JAVA_HOME test for Ant.

Browse Source
This commit is contained in:
Bruce Momjian
2002-09-06 14:31:16 +00:00
parent 847f8b39d7
commit f3b211841e
2 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
configure vendored
View File

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