Merge pull request 'feature/25019' (#1) from feature/25019 into main

Reviewed-on: #1
This commit is contained in:
Roberto Cirillo 2023-04-28 11:51:18 +02:00
commit 82267f9ffd
2 changed files with 6 additions and 2 deletions

1
.gitignore vendored Normal file
View File

@ -0,0 +1 @@
.idea/

5
Jenkinsfile vendored
View File

@ -40,6 +40,9 @@ pipeline {
string(name: 'build_options',
defaultValue: '',
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'
}
}