From e64f053b0da0b97140047e121f6299ef6483545d Mon Sep 17 00:00:00 2001
From: Domantas Petrauskas <dom.petrauskas@gmail.com>
Date: Fri, 6 Oct 2023 17:14:14 +0300
Subject: [PATCH] Fix JAVA_TOOL_OPTIONS in launcher for linux/mac

---
 sbt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sbt b/sbt
index 01bdeb220..e01edc50e 100755
--- a/sbt
+++ b/sbt
@@ -515,6 +515,7 @@ run() {
     execRunner "$java_cmd" \
       "${java_args[@]}" \
       "${sbt_options[@]}" \
+      "${java_tool_options[@]}" \
       -jar "$sbt_jar" \
       "${sbt_commands[@]}" \
       "${residual_args[@]}"
@@ -785,6 +786,7 @@ original_args=("$@")
 
 java_args=($JAVA_OPTS)
 sbt_options0=(${SBT_OPTS:-$default_sbt_opts})
+java_tool_options=($JAVA_TOOL_OPTIONS)
 if [[ "$SBT_NATIVE_CLIENT" == "true" ]]; then
   use_sbtn=1
 fi