diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/jobs/validate/partest | 2 | ||||
| -rwxr-xr-x | scripts/jobs/validate/partest-bootstrapped | 11 |
2 files changed, 12 insertions, 1 deletions
diff --git a/scripts/jobs/validate/partest b/scripts/jobs/validate/partest index 2f127f55b..4d4eb57e6 100755 --- a/scripts/jobs/validate/partest +++ b/scripts/jobs/validate/partest @@ -7,5 +7,5 @@ scriptsDir="$baseDir/scripts" git log --pretty=format:"%h - %an, %aD : %s" -n 10 update DarkDimius scala scala-scala dotty-library -sbt $sbtArgs update compile "partest-only --show-diff --verbose" +sbt $sbtArgs update compile "partest-only-no-bootstrap --show-diff --verbose" diff --git a/scripts/jobs/validate/partest-bootstrapped b/scripts/jobs/validate/partest-bootstrapped new file mode 100755 index 000000000..2f127f55b --- /dev/null +++ b/scripts/jobs/validate/partest-bootstrapped @@ -0,0 +1,11 @@ +#!/bin/bash -e + +baseDir=${WORKSPACE-`pwd`} +scriptsDir="$baseDir/scripts" +. $scriptsDir/common + +git log --pretty=format:"%h - %an, %aD : %s" -n 10 + +update DarkDimius scala scala-scala dotty-library +sbt $sbtArgs update compile "partest-only --show-diff --verbose" + |