From a8f279eb5abd2a10f3e452f151d35a0a72f549ac Mon Sep 17 00:00:00 2001
From: Christian Poessinger <christian@poessinger.com>
Date: Wed, 5 Jan 2022 20:56:27 +0100
Subject: Jenkins: delete build artifacts 'the old way' to prevent Jenkins CI
 error

---
 Jenkinsfile | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index a978747a..d4b505d8 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -181,7 +181,12 @@ pipeline {
             echo 'One way or another, I have finished'
             // the 'build' directory got elevated permissions during the build
             // cdjust permissions so it can be cleaned up by the regular user
-            sh 'sudo make purge'
+            sh '''
+                #!/bin/bash
+                if [ -d build ]; then
+                    sudo chmod -R 777 build/
+                fi
+            '''
             deleteDir() /* cleanup our workspace */
         }
     }
-- 
cgit v1.2.3