From 710b69fc753829e2cf9f2e07a51067055c336d94 Mon Sep 17 00:00:00 2001
From: Grant Limberg <grant.limberg@zerotier.com>
Date: Mon, 12 Aug 2019 12:44:47 -0700
Subject: [PATCH] kill build dir before jenkins build

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

diff --git a/Jenkinsfile b/Jenkinsfile
index 0b27e0e99..457210adc 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -14,7 +14,8 @@ parallel 'centos7': {
             checkout scm
 
 	        stage('Build Centos 7') {
-		sh '''mkdir build && cd build
+		sh '''rm -rf build/
+              mkdir build && cd build
 		      CC=clang CXX=clang++ cmake ..
 		      make -j4
 		'''