From be8f943ab90534c57050bd4b88fd714a80a0cea2 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Tue, 10 Dec 2019 23:02:24 -0500
Subject: [PATCH] Handle cat error.

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index bcf5df0..818cf1e 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -159,7 +159,7 @@ pipeline {
                         echo -e "GroupID,ArtifactID,Version,SCM URL,Build Number,Distribution URL,Filename,Packaging" >> ${AGENT_ROOT_FOLDER}/build_commits.csv
 
                         #job report
-                        cat ${PREVIOUS_JOB_REPORT}
+                        cat ${previous_report_file} || echo "${previous_report_file} not available"
                         echo "#Build ${PIPELINE_BUILD_NUMBER}" > ${JOB_REPORT}
                         echo "#StartTime ${date}" >> ${JOB_REPORT}
                         echo -e "JobName,Status" >> ${JOB_REPORT}