From 6369b78ac83321a5d1b5d7281276fa33c2711a3d Mon Sep 17 00:00:00 2001
From: Victor Martinez <victormartinezrubio@gmail.com>
Date: Tue, 2 Jun 2020 17:24:56 +0100
Subject: [PATCH] [CI] Fix permissions should not fail (#18899)

---
 Jenkinsfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) {