diff --git a/Jenkinsfile b/Jenkinsfile index 69de8e0..7d2f9d0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -98,6 +98,7 @@ pipeline { PIPELINE_BUILD_NUMBER = "${env.BUILD_NUMBER}" TYPE = "${params.Type}" RESUME = "${params.resume}" + RESUME_FROM = "${params.resume_from}" JOB_REPORT = "${agent_root_folder}/build_jobs.${env.BUILD_NUMBER}.csv" PREVIOUS_JOB_REPORT = "${previous_report_file}" PREVIOUS_COMMIT_REPORT = "${previous_commit_file}" @@ -165,7 +166,7 @@ pipeline { stage('initialize local repository') { steps { sh ''' - if [ "$RESUME" = "false" ]; then + if [ -z "$RESUME_FROM" ]; then echo "REMOVE_LOCAL_REPO: ${REMOVE_LOCAL_REPO}" echo "CLEANUP_GCUBE_REPO: ${CLEANUP_GCUBE_REPO}" if [ "$CLEANUP_GCUBE_REPO" = "true" ]; then