Ticket #39793: sbt2.diff

sbt

@@ -17 +17 @@
 # Is the location of the SBT launcher JAR file.
 LAUNCHJAR="/opt/local/share/sbt/sbt-launch.jar"
 
-# Ensure enough heap space is created for sbt.  These settings are the
-# default settings from Typesafe's sbt wrapper.
-if [ -z "$JAVA_OPTS" ]; then
+# Customisation: this may define a variable SBT_JAVA_OPTS
+SBTCONF=~/.sbtconfig
+if [ -f "${SBTCONF}" ]; then
+    . ${SBTCONF}
+    JAVA_OPTS="$SBT_JAVA_OPTS"
+elif [ -z $"JAVA_OPTS" ]; then
+    # Ensure enough heap space is created for sbt.  These settings are the
+    # default settings from Typesafe's sbt wrapper.
     JAVA_OPTS="-XX:+CMSClassUnloadingEnabled -Xms1536m -Xmx1536m -XX:MaxPermSize=384m -XX:ReservedCodeCacheSize=192m -Dfile.encoding=UTF8"
 fi
 
 # Assume java is already in the shell path.
-exec java $JAVA_OPTS -jar "$LAUNCHJAR" "$@"
+exec java ${JAVA_OPTS} -jar "$LAUNCHJAR" "$@"