diff --git a/Jenkinsfile b/Jenkinsfile index 3fa86b37495..439c6623e15 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -798,7 +798,7 @@ def fixPermissions(location) { sh(label: 'Fix permissions', script: """#!/usr/bin/env bash source ./dev-tools/common.bash docker_setup - script/fix_permissions.sh ${location}""") + script/fix_permissions.sh ${location}""", returnStatus: true) } def makeTarget(String context, String target, boolean clean = true) {