diff --git a/Jenkinsfile b/Jenkinsfile index 0c7473159b..14eceee9d0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -25,7 +25,7 @@ pipeline { currentBuild.description = BUILD_KEY sh 'env' - sh 'mvn clean verify -f releng/plugins/org.polarsys.capella.targets/pom.xml' + sh 'mvn --batch-mode clean verify -f releng/plugins/org.polarsys.capella.targets/pom.xml' } } } @@ -35,7 +35,7 @@ pipeline { script { def customParams = github.isPullRequest() ? '-DSKIP_SONAR=true' : '-Psign' - sh "mvn -Djacoco.skip=true -DjavaDocPhase=none -Pfull ${customParams} clean package -f pom.xml" + sh "mvn --batch-mode -Djacoco.skip=true -DjavaDocPhase=none -Pfull ${customParams} clean package -f pom.xml" } } }