From 685bee0b2f3e02f35ccdfc995df93b4f27b9800c Mon Sep 17 00:00:00 2001
From: Manuele Simi <manuele.simi@isti.cnr.it>
Date: Wed, 3 Feb 2021 21:18:00 -0500
Subject: [PATCH] Manage when the filter is empty.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3c4d1a2..88dfd91 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -180,7 +180,7 @@ def exec(repo_url, repo_name) {
              output = sh(script: bashWrapper, returnStdout: true)?.trim()
         }
     }
-    if (filter_with && output.contains(filter_with)) {
+    if ((!filter) || (filter_with && output.contains(filter_with))) {
         def xml_action = """
         <action repo="${repo_url}">
             <stdout>