From ddebfb236092b0820b56286b4fd25258996af0e9 Mon Sep 17 00:00:00 2001
From: Fabien Poussin <fabien.poussin@gmail.com>
Date: Wed, 6 Mar 2019 23:44:46 +0100
Subject: Added Jenkinsfile

---
 Jenkinsfile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index 5e0fb38..aa4dbf4 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -20,11 +20,11 @@ pipeline {
 
       }
       steps {
-        sh '''mkdir /tmp/contrib
-cp -r $WORKSPACE/* $WORKSPACE/.git /tmp/contrib/
+        sh '''mkdir /tmp/contrib_$EXECUTOR_NUMBER
 
+cp -r $WORKSPACE/* $WORKSPACE/.git /tmp/contrib_$EXECUTOR_NUMBER
 
-mv -v /tmp/contrib $WORKSPACE/'''
+cp -r /tmp/contrib_$EXECUTOR_NUMBER $WORKSPACE/'''
         sh '''git clone -b stable_19.1.x --single-branch https://github.com/ChibiOS/ChibiOS.git $WORKSPACE/ChibiOS-RT
 cd $WORKSPACE/contrib
 bash ./tools/chbuild.sh ./testhal/STM32/'''
-- 
cgit v1.2.3