diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-16 00:34:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-16 00:34:13 +0100 |
commit | 58a3ed99c98fb7caf0c0f94e6b5f57773a50c6c3 (patch) | |
tree | f037ca796abfe125dfe038bc0ebd928f3e1cea16 | |
parent | 2d18af61581696efe0e2869472c9d4214370cc9f (diff) | |
parent | 63951c4d0786fb9964458cab6f74ecacbaefd7cc (diff) | |
download | dotty-58a3ed99c98fb7caf0c0f94e6b5f57773a50c6c3.tar.gz dotty-58a3ed99c98fb7caf0c0f94e6b5f57773a50c6c3.tar.bz2 dotty-58a3ed99c98fb7caf0c0f94e6b5f57773a50c6c3.zip |
Merge pull request #1715 from lampepfl/DarkDimius-patch-1
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" |