From 91a11dc33e5c2cc09ba09c39c148b860b124d2b6 Mon Sep 17 00:00:00 2001
From: Victor Martinez <VictorMartinezRubio@gmail.com>
Date: Fri, 29 May 2020 13:16:07 +0100
Subject: [PATCH] [CI] Fix permissions in MacOSX agents

---
 Jenkinsfile | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 80972cf897e..841f8dee7ed 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -765,7 +765,10 @@ def delete() {
 }
 
 def fixPermissions(location) {
-  sh(label: 'Fix permissions', script: "script/fix_permissions.sh ${location}")
+  sh(label: 'Fix permissions', script: """#!/usr/bin/env bash
+    source ./dev-tools/common.bash
+    docker_setup
+    script/fix_permissions.sh ${location}""")
 }
 
 def makeTarget(String context, String target, boolean clean = true) {