File tree Expand file tree Collapse file tree 4 files changed +31
-0
lines changed Expand file tree Collapse file tree 4 files changed +31
-0
lines changed Original file line number Diff line number Diff line change 1+ update() {
2+ [[ -d $baseDir ]] || mkdir -p $baseDir
3+ cd $baseDir
4+
5+ if [ ! -d $baseDir/$2 ]; then git clone "https://github.com/$1/$2.git"; fi
6+
7+ cd $2
8+
9+ git fetch --tags "https://github.com/$1/$2.git"
10+ (git fetch "https://github.com/$1/$2.git" $3 && git checkout -fq FETCH_HEAD) #|| git checkout -fq $3 # || fallback is for local testing on tag
11+ git reset --hard
12+ }
13+
Original file line number Diff line number Diff line change 1+ baseDir=${WORKSPACE-`pwd`}
2+ scriptsDir="$baseDir/scripts"
3+ . $scriptsDir/common
4+
5+ update scala scala
6+ sbt -Ddotty.travis.build=yes update compile test
Original file line number Diff line number Diff line change 1+ baseDir=${WORKSPACE-`pwd`}
2+ scriptsDir="$baseDir/scripts"
3+ . $scriptsDir/common
4+
5+ sbt -Ddotty.travis.build=yes update compile "partest run"
6+
Original file line number Diff line number Diff line change 1+ baseDir=${WORKSPACE-`pwd`}
2+ scriptsDir="$baseDir/scripts"
3+ . $scriptsDir/common
4+
5+ sbt scalastyle
6+
You can’t perform that action at this time.
0 commit comments