diff --git a/Jenkinsfile b/Jenkinsfile index 73d3c4f..cb20ea5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -250,7 +250,7 @@ pipeline { mv "${AGENT_ROOT_FOLDER}/settings.${PIPELINE_BUILD_NUMBER}" "${AGENT_ROOT_FOLDER}/settings.xml" mv ${AGENT_ROOT_FOLDER}/build_commits.csv ${AGENT_ROOT_FOLDER}/build_commits.${PIPELINE_BUILD_NUMBER}.csv cp ${AGENT_ROOT_FOLDER}/build_commits.${PIPELINE_BUILD_NUMBER}.csv . - cat */${PIPELINE_BUILD_NUMBER}.csv | echo + cat *${PIPELINE_BUILD_NUMBER}.csv | echo ''' } echo 'The default maven settings have been restored'