From b2324d2fad9320f08d333d913b42f227a24ad7d6 Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Mon, 9 Dec 2019 21:25:54 -0500
Subject: [PATCH] Print when the maven-parent is skipped.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 66c4211..1981d50 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -164,6 +164,7 @@ pipeline {
             steps {
                 script {
                         if ( ("${resume}" == 'true') && (jobs['maven-parent'] == 'SUCCESS') ) {
+                            echo "Skipping maven-parent"
                             // propagate success
                             sh "echo -e \\\"maven-parent,SUCCESS\\\">> $JOB_REPORT"
                         } else {