aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/common13
-rwxr-xr-xscripts/jobs/validate/junit6
-rwxr-xr-xscripts/jobs/validate/partest6
-rwxr-xr-xscripts/jobs/validate/scalastyle6
4 files changed, 31 insertions, 0 deletions
diff --git a/scripts/common b/scripts/common
new file mode 100755
index 000000000..c9453506d
--- /dev/null
+++ b/scripts/common
@@ -0,0 +1,13 @@
+update() {
+ [[ -d $baseDir ]] || mkdir -p $baseDir
+ cd $baseDir
+
+ if [ ! -d $baseDir/$2 ]; then git clone "https://github.com/$1/$2.git"; fi
+
+ cd $2
+
+ git fetch --tags "https://github.com/$1/$2.git"
+ (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
+ git reset --hard
+}
+
diff --git a/scripts/jobs/validate/junit b/scripts/jobs/validate/junit
new file mode 100755
index 000000000..9b8443020
--- /dev/null
+++ b/scripts/jobs/validate/junit
@@ -0,0 +1,6 @@
+baseDir=${WORKSPACE-`pwd`}
+scriptsDir="$baseDir/scripts"
+. $scriptsDir/common
+
+update scala scala
+sbt -Ddotty.travis.build=yes update compile test
diff --git a/scripts/jobs/validate/partest b/scripts/jobs/validate/partest
new file mode 100755
index 000000000..7ff8764a7
--- /dev/null
+++ b/scripts/jobs/validate/partest
@@ -0,0 +1,6 @@
+baseDir=${WORKSPACE-`pwd`}
+scriptsDir="$baseDir/scripts"
+. $scriptsDir/common
+
+sbt -Ddotty.travis.build=yes update compile "partest run"
+
diff --git a/scripts/jobs/validate/scalastyle b/scripts/jobs/validate/scalastyle
new file mode 100755
index 000000000..14c1c206a
--- /dev/null
+++ b/scripts/jobs/validate/scalastyle
@@ -0,0 +1,6 @@
+baseDir=${WORKSPACE-`pwd`}
+scriptsDir="$baseDir/scripts"
+. $scriptsDir/common
+
+sbt scalastyle
+