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'\" """ } }