diff --git a/Jenkinsfile b/Jenkinsfile
index 4f44a2935..01fa2618b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -74,4 +74,7 @@ if (env.GIT_COMMITTER_EMAIL) {
         subject: "Pipeline: ${status}: ${env.JOB_NAME} (${env.BUILD_NUMBER})",
         body: body
     )
+
+    if (buildError)
+        throw buildError;
 }