From d5d9adf11dc65e5a4bf747e79e168fdeec0b752d Mon Sep 17 00:00:00 2001
From: Rob Winch <rwinch@users.noreply.github.com>
Date: Thu, 18 Oct 2018 16:03:00 -0500
Subject: [PATCH] Fail the build if deploy fails

Fixes: gh-5997
---
 Jenkinsfile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index d10a26ac68..4ce5a1f45a 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -121,6 +121,9 @@ try {
 			}
 		}
 	}
+} catch(Exception e) {
+	currentBuild.result = 'FAILED: deploys'
+	throw e
 } finally {
 	def buildStatus = currentBuild.result
 	def buildNotSuccess =  !SUCCESS.equals(buildStatus)