From c6a6ec39a66eefabdeea16e86c47375eaa985a17 Mon Sep 17 00:00:00 2001
From: Jim Klimov <jim@jimklimov.com>
Date: Tue, 30 Jan 2018 18:28:17 +0100
Subject: [PATCH] Jenkinsfile : regenerated with zproject support for better
 workspace cleanup before test preparation

---
 Jenkinsfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 97f50eb4..754e4fcf 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -84,6 +84,8 @@ pipeline {
         stage ('prepare') {
                     steps {
                         dir("tmp") {
+                            sh 'if [ -s Makefile ]; then make -k distclean || true ; fi'
+                            sh 'chmod -R u+w .'
                             deleteDir()
                         }
                         sh './autogen.sh'