diff options
Diffstat (limited to 'scripts/jobs/validate/partest')
-rwxr-xr-x | scripts/jobs/validate/partest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/jobs/validate/partest b/scripts/jobs/validate/partest index 7ff8764a7..4fd67f1b8 100755 --- a/scripts/jobs/validate/partest +++ b/scripts/jobs/validate/partest @@ -2,5 +2,5 @@ baseDir=${WORKSPACE-`pwd`} scriptsDir="$baseDir/scripts" . $scriptsDir/common -sbt -Ddotty.travis.build=yes update compile "partest run" +sbt $sbtArgs update compile "partest run" |