diff options
Diffstat (limited to 'scripts/common')
| -rwxr-xr-x | scripts/common | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/common b/scripts/common index c9453506d..1c7be04f2 100755 --- a/scripts/common +++ b/scripts/common @@ -11,3 +11,4 @@ update() { git reset --hard } +sbtArgs="-Ddotty.travis.build=yes -ivy $baseDir/ivy2 -Dsbt.global.base=$HOME/.sbt/0.13 -sbt-dir $HOME/.sbt/0.13" |