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