From 494442aa7b42d87b0ca5cb4a8e6161b36eafbdd6 Mon Sep 17 00:00:00 2001
From: John Blum <jblum@pivotal.io>
Date: Mon, 20 Aug 2018 15:48:33 -0700
Subject: [PATCH] Timeout the Jenkins build pipeline after 10 minutes.

---
 Jenkinsfile | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 2c0e7c5..14e51ef 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -9,6 +9,12 @@ def SUCCESS = hudson.model.Result.SUCCESS.toString()
 
 currentBuild.result = SUCCESS
 
+pipeline {
+    options {
+        timeout(time: 10, unit: 'MINUTES')
+    }
+}
+
 try {
 	parallel check: {
 		stage('Check') {