diff --git a/build/sbt b/build/sbt index 044a2929bd..0438b99231 100755 --- a/build/sbt +++ b/build/sbt @@ -66,11 +66,9 @@ realpath () { ) } -if [[ "$JENKINS_URL" != "" ]]; then - # Make Jenkins use Google Mirror first as Maven Central may ban us - SBT_REPOSITORIES_CONFIG="$(dirname "$(realpath "$0")")/sbt-config/repositories" - export SBT_OPTS="-Dsbt.override.build.repos=true -Dsbt.repository.config=$SBT_REPOSITORIES_CONFIG" -fi +# Make Jenkins use Google Mirror first as Maven Central may ban us +SBT_REPOSITORIES_CONFIG="$(dirname "$(realpath "$0")")/sbt-config/repositories" +export SBT_OPTS="-Dsbt.override.build.repos=true -Dsbt.repository.config=$SBT_REPOSITORIES_CONFIG" . "$(dirname "$(realpath "$0")")"/sbt-launch-lib.bash