Fix JAVA_TOOL_OPTIONS in launcher for linux/mac

eed3si9n · Oct 22, 2023 · e64f053 · e64f053
1 parent 01ce348
commit e64f053
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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