From: Mathieu <mbaudier@argeo.org>
Date: Fri, 10 Mar 2023 10:01:36 +0000 (+0100)
Subject: Clarify which JAVA_HOME is used by configure
X-Git-Tag: v2.3.5~118
X-Git-Url: https://git.argeo.org/?a=commitdiff_plain;h=2fcc5942da8416113ccda360f3b568991acf567e;p=cc0%2Fargeo-build.git

Clarify which JAVA_HOME is used by configure
---

diff --git a/configure b/configure
index 5f28c8a..5d3e45e 100755
--- a/configure
+++ b/configure
@@ -16,8 +16,8 @@ else
 
 if [ -z "$JAVA_HOME" ]
 then
-JAVA_HOME=$(dirname $(dirname $(readlink -f $(which javac))))
-echo "Environment variable JAVA_HOME not set, using $JAVA_HOME"
+JAVA_HOME=$(dirname $(dirname $(readlink -f $(which java))))
+echo "Environment variable JAVA_HOME not set, using $JAVA_HOME of $(which java)"
 fi
 
 # Create build directory, so that it can be used right away