Update scripts/sbt

Author: OlivierBlanvillain

.drone.yml

@@ -22,6 +22,7 @@ pipeline:
     group: test
     image: lampepfl/dotty:2019-04-22
     commands:
+      - echo "$JAVA_HOME"
       - cp -R . /tmp/1/ && cd /tmp/1/
       - ./project/scripts/sbt ";compile ;test"
       - ./project/scripts/cmdTests
@@ -47,7 +48,7 @@ pipeline:
     image: lampepfl/dotty:2019-04-22
     commands:
       - cp -R . /tmp/6/ && cd /tmp/6/
-      - JAVA_HOME="/usr/lib/jvm/java-11-openjdk-amd64/" ./project/scripts/sbt -java-home "/usr/lib/jvm/java-11-openjdk-amd64/" ";dotty-bootstrapped/compile ;dotty-bootstrapped/test; dotty-semanticdb/compile; dotty-semanticdb/test:compile;sjsSandbox/run;sjsSandbox/test"
+      - JAVA_HOME="/usr/lib/jvm/java-11-openjdk-amd64/" ./project/scripts/sbt ";dotty-bootstrapped/compile ;dotty-bootstrapped/test; dotty-semanticdb/compile; dotty-semanticdb/test:compile;sjsSandbox/run;sjsSandbox/test"
     when:
       event: [ push, tag, deployment ]
 

project/scripts/sbt

@@ -13,4 +13,5 @@ sbt -J-Xmx4096m \
     -Ddotty.drone.mem=4096m \
     -Dsbt.ivy.home=/var/cache/drone/ivy2 \
     -no-colors \
+    -java-home "$JAVA_HOME" \
     "$CMD"