sbt.bat « Chalice - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Chalice/sbt.bat

blob: 4c92a4b3f2e7b6fb4bf0351e1070e75c63a84bb7 (plain)

@ECHO OFF
SetLocal

set SCRIPT_DIR=%~dp0
java %JAVA_OPTS% -XX:MaxPermSize=256m -Xmx512M -Xss2M -jar "%SCRIPT_DIR%sbt-launch.jar" %*