From 44423acd60cd6e229a418851d4dd9ed45a002ad1 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Tue, 22 Oct 2019 09:12:37 -0400
Subject: [PATCH] Echo the report.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 73d3c4f..cb20ea5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -250,7 +250,7 @@ pipeline {
                   mv "${AGENT_ROOT_FOLDER}/settings.${PIPELINE_BUILD_NUMBER}" "${AGENT_ROOT_FOLDER}/settings.xml"
                   mv  ${AGENT_ROOT_FOLDER}/build_commits.csv  ${AGENT_ROOT_FOLDER}/build_commits.${PIPELINE_BUILD_NUMBER}.csv
                   cp ${AGENT_ROOT_FOLDER}/build_commits.${PIPELINE_BUILD_NUMBER}.csv .
-                  cat */${PIPELINE_BUILD_NUMBER}.csv | echo
+                  cat *${PIPELINE_BUILD_NUMBER}.csv | echo
                   '''
              }
              echo 'The default maven settings have been restored'