diff --git a/Jenkinsfile b/Jenkinsfile index 662489e097d..9a0c8e8ce63 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -542,13 +542,16 @@ pipeline { } } -def makeTarget(context, target){ +def makeTarget(context, target, clean = true){ withGithubNotify(context: "${context}") { withBeatsEnv(){ sh(label: "Make ${target}", script: """ eval "\$(gvm use ${GO_VERSION} --format=bash)" make ${target} """) + if(clean) { + sh(script: 'script/fix_permissions.sh ${HOME}') + } } } }