diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..9f11b75 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +.idea/ diff --git a/Jenkinsfile b/Jenkinsfile index 6932d2c..f072ccc 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -39,7 +39,10 @@ pipeline { description: 'Run on all nodes matching the label') string(name: 'build_options', defaultValue: '', - description: 'Additional options for Maven.') + description: 'Additional options for Maven.') + string(name: 'maven_goal', + defaultValue: 'clean deploy', + description: 'maven goal. Useful if deploy is not needed') } agent { @@ -62,7 +65,7 @@ pipeline { } stage('Build the job') { steps { - sh 'mvn --settings $MAVEN_CONFIG_FOLDER/$gcube_settings -Dmaven.repo.local=$MAVEN_CONFIG_FOLDER/$local_repo $build_options dependency:tree clean deploy' + sh 'mvn --settings $MAVEN_CONFIG_FOLDER/$gcube_settings -Dmaven.repo.local=$MAVEN_CONFIG_FOLDER/$local_repo $build_options dependency:tree $maven_goal' } }