From 7b621bde4f5bd2730892c5fc271ceab5ee8d73b7 Mon Sep 17 00:00:00 2001
From: Rob Bradford <robert.bradford@intel.com>
Date: Wed, 12 Aug 2020 17:12:10 +0100
Subject: [PATCH] Jenkinsfile: chown the workspace before cleaning up

If the build was aborted then the dev_cli.sh code that is responsible
for changing the file ownership will not get run. This results in the
failure to delete some of the files in the workspace.

Signed-off-by: Rob Bradford <robert.bradford@intel.com>
---
 Jenkinsfile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index fc634fce6..d017e6375 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -104,6 +104,7 @@ pipeline{
 					}
 					post {
 						always {
+							sh "sudo chown -R jenkins.jenkins ${WORKSPACE}"
 							deleteDir()
 						}
 					}