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}",