From 1529f3348b1cff4c25514a8aafb007e5cf23bf77 Mon Sep 17 00:00:00 2001
From: Juan Ferrer Toribio <juan@verdnatura.es>
Date: Fri, 11 Jan 2019 14:51:01 +0100
Subject: [PATCH] Jenkinsfile fixes

---
 Jenkinsfile | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 83d500e22..b1cdbb499 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -1,7 +1,5 @@
 #!/usr/bin/env groovy
 
-def buildError
-
 pipeline {
     agent any
     environment {
@@ -102,9 +100,7 @@ pipeline {
     post {
         always {
             script {
-                if (!env.GIT_COMMITTER_EMAIL)
-                    return
-
+                if (!env.GIT_COMMITTER_EMAIL) return
                 mail(
                     to: env.GIT_COMMITTER_EMAIL,
                     subject: "Pipeline: ${env.JOB_NAME} (${env.BUILD_NUMBER}): ${currentBuild.result}",