From e003718e6859c27127efd79ece61df993658d032 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Sat, 16 Jan 2021 23:18:33 -0500
Subject: [PATCH] Read lines instead of splitting them.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 27cf1f6..5571300 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -117,7 +117,6 @@ pipeline {
  */
 def checkout_and_exec(repo_name, actions) {
     def repo_url = "${repo_root}/{$repo_name}"
-    echo "Checkout SHA from reference $commit"
     sh(script: "rm -r ${repo_name} || true", returnStdout: true)?.trim()
     checkout([
             $class                           : 'GitSCM',
@@ -171,7 +170,7 @@ def exec(actions, repo_url, repo_name) {
 @NonCPS
 def parseProjectList(def text) {
     def projects = []
-    "${text}".splitEachLine(',') { project ->
+    text.readLines().each { project ->
         if (!project)
             return
         projects.add(project)