assign to maven_parent_file maven_settings_file value

This commit is contained in:
Roberto Cirillo 2022-03-04 11:30:36 +01:00
parent a148bbd358
commit 459450afad
1 changed files with 1 additions and 0 deletions

1
Jenkinsfile vendored
View File

@ -46,6 +46,7 @@ if (params.Type == 'RELEASE') {
maven_activation_property="-Djenkins-releases -DRelease";
// maven_parent_file = "jenkins-releases-dry-run-settings.xml"
}
maven_parent_file=maven_settings_file;
echo "Use settings file at ${maven_settings_file} with the following activation property: ${maven_activation_property}"
echo "Use local repo at ${maven_local_repo_path}"