From 2eae025914116ac153165a3ef14cc35b9f820035 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Wed, 11 Dec 2019 23:10:32 -0500
Subject: [PATCH] Add missing block.

---
 Jenkinsfile | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index f2fe140..91fd408 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -137,11 +137,13 @@ pipeline {
     stages {
         stage('resume') {
             steps {
-               sh 'cat ${PREVIOUS_JOB_REPORT}'
-               content = readFile ${PREVIOUS_JOB_REPORT}
-               jobs = parseJobs(content)
-               for (job in jobs)
-                   println job
+               script {
+                   sh 'cat ${PREVIOUS_JOB_REPORT}'
+                   content = readFile ${PREVIOUS_JOB_REPORT}
+                   jobs = parseJobs(content)
+                   for (job in jobs)
+                       println job
+               ]
             }
         }
         stage('initialize') {