Use UTF8 by default on jenkins.

DarkDimius · DarkDimius · commit 0e5851ba8ed3 · 2015-05-21T17:15:34.000+02:00
diff --git a/scripts/common b/scripts/common
@@ -11,4 +11,6 @@ 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"
+export LC_ALL=en_US.UTF-8
+
+sbtArgs="-Ddotty.travis.build=yes -Dfile.encoding=UTF-8 -ivy $baseDir/ivy2 -Dsbt.global.base=$HOME/.sbt/0.13 -sbt-dir $HOME/.sbt/0.13"

Original file line number	Diff line number	Diff line change
`@@ -11,4 +11,6 @@ update() {`
`11`	`11`	`git reset --hard`
`12`	`12`	`}`
`13`	`13`
`14`		`-sbtArgs="-Ddotty.travis.build=yes -ivy $baseDir/ivy2 -Dsbt.global.base=$HOME/.sbt/0.13 -sbt-dir $HOME/.sbt/0.13"`
	`14`	`+export LC_ALL=en_US.UTF-8`
	`15`	`+`
	`16`	`+sbtArgs="-Ddotty.travis.build=yes -Dfile.encoding=UTF-8 -ivy $baseDir/ivy2 -Dsbt.global.base=$HOME/.sbt/0.13 -sbt-dir $HOME/.sbt/0.13"`