From cabe71bbf51e274cd3ede71818fa5a816d6ec6ac Mon Sep 17 00:00:00 2001
From: Fabien Poussin <fabien.poussin@gmail.com>
Date: Thu, 7 Mar 2019 11:00:13 +0100
Subject: Added Jenkinsfile

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

(limited to 'Jenkinsfile')

diff --git a/Jenkinsfile b/Jenkinsfile
index 4914eda..2544449 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -21,9 +21,12 @@ pipeline {
       }
       steps {
         sh '''BRANCH=stable_18.2.x
+CH_PATH=$WORKSPACE/ChibiOS
 
-git -C $WORKSPACE/ChibiOS checkout $BRANCH && git -C $WORKSPACE/ChibiOS pull || rm -rf $WORKSPACE/ChibiOS && git clone -b $BRANCH --single-branch https://github.com/ChibiOS/ChibiOS.git
-cd $WORKSPACE/ChibiOS/ext
+rm -rf $CH_PATH
+git clone -b $BRANCH --single-branch https://github.com/ChibiOS/ChibiOS.git $CH_PATH
+
+cd $CH_PATH/ext
 z7 x -y *.7z'''
         sh 'CH_PATH=$WORKSPACE/ChibiOS CHC_PATH=$WORKSPACE ./tools/chbuild.sh ./testhal/STM32/'
         sh 'CH_PATH=$WORKSPACE/ChibiOS CHC_PATH=$WORKSPACE ./tools/chbuild.sh ./demos/STM32/'
-- 
cgit v1.2.3