diff --git a/Jenkinsfile b/Jenkinsfile index 81186c7dc..d0fa50794 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -12,10 +12,16 @@ node { } - stage('Build'){ - sh "mvn clean package" - - } + stage('Build') { + // Run the maven build + withEnv(["MVN_HOME=$mvnHome"]) { + if (isUnix()) { + sh '"$MVN_HOME/bin/mvn" -Dmaven.test.failure.ignore clean package' + } else { + bat(/"%MVN_HOME%\bin\mvn" -Dmaven.test.failure.ignore clean package/) + } + } + } stage('Archive') { junit allowEmptyResults: true, testResults: '**/target/**/TEST*.xml'