From 4f7c7927f36d13efda57c9fd1c890d8968b361b4 Mon Sep 17 00:00:00 2001 From: Stepan Usatiuk Date: Wed, 14 May 2025 18:33:27 +0200 Subject: [PATCH] JAVA_HOME in run wrapper --- run-wrapper/run | 13 ++++++++++++- 1 file changed, 12 insertions(+), 1 deletion(-) diff --git a/run-wrapper/run b/run-wrapper/run index ad312ee2..aab6b250 100755 --- a/run-wrapper/run +++ b/run-wrapper/run @@ -23,7 +23,18 @@ EXTRAOPTS_PARSED="$(tr '\n\r' ' ' <"$EXTRAOPTS")" echo "Extra options: $EXTRAOPTS_PARSED" -java \ +if [ -n "${JAVA_HOME:-}" ]; then + JAVA_EXEC="$JAVA_HOME/bin/java" +else + JAVA_EXEC="java" +fi + +if ! command -v "$JAVA_EXEC"; then + echo "Java not found" + exit 1 +fi + +"$JAVA_EXEC" \ -Xmx512M \ --enable-preview \ -Ddhfs.objects.writeback.limit=134217728 \