diff --git a/Jenkinsfile b/Jenkinsfile index 71e32d2..eadb132 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -138,6 +138,14 @@ pipeline { SCRIPT_PARAMETER = SCRIPT_PARAMETER + " -p " + PRESELECT.toString() } + if (FORMATS.isEmpty()) { + currentBuild.result = 'ABORTED' + error('Aborting due to missing report format parameter') + return + } else { + SCRIPT_PARAMETER = SCRIPT_PARAMETER + " -o " + FORMATS.toString() + } + echo "${SCRIPT_PARAMETER}" sh "python3.8 createReport.py ${SCRIPT_PARAMETER}" sh "python3.8 summary.py"