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