From eff6bfea99dccc9c8712892653ebb335895ef299 Mon Sep 17 00:00:00 2001
From: Carl Kittelberger <icedream@icedream.pw>
Date: Tue, 11 Dec 2018 02:15:57 +0100
Subject: [PATCH] Use exec.

---
 Jenkinsfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index ad862f3..007e6cb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -34,13 +34,13 @@ node("linux && amd64 && docker") {
       ansiColor('xterm') {
         sh """
         cd /freetz
-        su freetz -c \"sh -c 'umask 0022 && make oldconfig'\"
+        su freetz -c \"sh -c 'umask 0022 && exec make oldconfig'\"
         """
         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'\"
+            su freetz -c \"sh -c 'umask 0022 && exec make'\"
             """
           }
         }