From 67d8c07a151c8c3d0130bcf9e9ce0ebb927da020 Mon Sep 17 00:00:00 2001
From: Victor Martinez <VictorMartinezRubio@gmail.com>
Date: Tue, 2 Jun 2020 15:33:07 +0100
Subject: [PATCH] [CI] Fix permissions should not fail

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 3fa86b374950..439c6623e153 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) {