From 79ad5e5ec3e1d5d01ef90567241224f7aec5e701 Mon Sep 17 00:00:00 2001
From: Mathieu <mbaudier@argeo.org>
Date: Fri, 10 Mar 2023 10:59:10 +0100
Subject: [PATCH] Make configure script more robust

---
 configure | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/configure b/configure
index 56a8fb7..5f28c8a 100755
--- a/configure
+++ b/configure
@@ -16,8 +16,8 @@ else
 
 if [ -z "$JAVA_HOME" ]
 then
-echo "Environment variable JAVA_HOME must be set"
-exit 1
+JAVA_HOME=$(dirname $(dirname $(readlink -f $(which javac))))
+echo "Environment variable JAVA_HOME not set, using $JAVA_HOME"
 fi
 
 # Create build directory, so that it can be used right away
@@ -35,8 +35,8 @@ SDK_SRC_BASE := $SDK_SRC_BASE
 SDK_BUILD_BASE := $SDK_BUILD_BASE
 JAVA_HOME := $JAVA_HOME
 
-include \$(SDK_SRC_BASE)/branch.mk
-include \$(SDK_SRC_BASE)/sdk/branches/\$(BRANCH).bnd
+-include \$(SDK_SRC_BASE)/branch.mk
+-include \$(SDK_SRC_BASE)/sdk/branches/\$(BRANCH).bnd
 EOF
 
 
-- 
2.30.2