diff options
author | Dmitry Petrashko <dark@d-d.me> | 2016-11-15 21:26:39 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-15 21:26:39 +0100 |
commit | 63951c4d0786fb9964458cab6f74ecacbaefd7cc (patch) | |
tree | f037ca796abfe125dfe038bc0ebd928f3e1cea16 | |
parent | 2d18af61581696efe0e2869472c9d4214370cc9f (diff) | |
download | dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.tar.gz dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.tar.bz2 dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.zip |
Try to fix the CI
-rwxr-xr-x | scripts/common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/common b/scripts/common index 77da64d83..ab7a9ff6d 100755 --- a/scripts/common +++ b/scripts/common @@ -15,5 +15,5 @@ update() { } export LC_ALL=en_US.UTF-8 - +unset _JAVA_OPTIONS sbtArgs="-Ddotty.jenkins.build=yes -Dfile.encoding=UTF-8 -ivy $baseDir/ivy2 -Dsbt.global.base=$HOME/.sbt/0.13 -sbt-dir $HOME/.sbt/0.13" |