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 /scripts | |
| parent | 2d18af61581696efe0e2869472c9d4214370cc9f (diff) | |
| download | dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.tar.gz dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.tar.bz2 dotty-63951c4d0786fb9964458cab6f74ecacbaefd7cc.zip | |
Try to fix the CI
Diffstat (limited to 'scripts')
| -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" |