diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/common | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/common b/scripts/common index 4924538f0..a51a60a01 100755 --- a/scripts/common +++ b/scripts/common @@ -14,4 +14,4 @@ update() { export LC_ALL=en_US.UTF-8 -sbtArgs="-Ddotty.travis.build=yes -Dfile.encoding=UTF-8 -ivy $baseDir/ivy2 -Dsbt.global.base=$HOME/.sbt/0.13 -sbt-dir $HOME/.sbt/0.13" +sbtArgs="-Ddotty.jenkins.build=yes -Dfile.encoding=UTF-8 -ivy $baseDir/ivy2 -Dsbt.global.base=$HOME/.sbt/0.13 -sbt-dir $HOME/.sbt/0.13" |