From 98a62bed2dc506defad19c3b4acf28650f6867f4 Mon Sep 17 00:00:00 2001
From: Juan Ferrer Toribio <juan@verdnatura.es>
Date: Sun, 17 Feb 2019 19:30:35 +0100
Subject: [PATCH] Jenkinsfile fixes

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 612bf4bb4..0235a79e5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -135,7 +135,7 @@ pipeline {
     post {
         always {
             script {
-                if (!['master', 'test'].contains(env.BRANCH_NAME) {
+                if (!['master', 'test'].contains(env.BRANCH_NAME)) {
                     try {
                         junit '*/junitresults.xml'
                         junit 'junitresults.xml'