From edeacbad505d93e8a2b352d1ab7c857004dde1ce Mon Sep 17 00:00:00 2001
From: Carl Kittelberger <icedream@icedream.pw>
Date: Mon, 10 Dec 2018 10:39:15 +0100
Subject: [PATCH] Time out after 10 minutes of inactivity.

---
 Jenkinsfile | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index e77c7fd..ad862f3 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -36,11 +36,13 @@ node("linux && amd64 && docker") {
         cd /freetz
         su freetz -c \"sh -c 'umask 0022 && make oldconfig'\"
         """
-        retry(10) {
-          sh """
-          cd /freetz
-          su freetz -c \"sh -c 'umask 0022 && make'\"
-          """
+        timeout(activity: true, time: 10) { // Time out after 10 min of inactivity
+          retry(10) {
+            sh """
+            cd /freetz
+            su freetz -c \"sh -c 'umask 0022 && make'\"
+            """
+          }
         }
         sh """
         cd /freetz