aboutsummaryrefslogtreecommitdiffstats
path: root/Jenkinsfile
diff options
context:
space:
mode:
authorFabien Poussin <fabien.poussin@gmail.com>2019-03-07 11:00:13 +0100
committerFabien Poussin <fabien.poussin@gmail.com>2019-03-07 11:00:13 +0100
commitcabe71bbf51e274cd3ede71818fa5a816d6ec6ac (patch)
tree19541832ef2616a58e21cc29c5b2ddb6dc514298 /Jenkinsfile
parentd4c95a30aa390c30c0ae2fb10f1acaee2b199315 (diff)
downloadChibiOS-Contrib-cabe71bbf51e274cd3ede71818fa5a816d6ec6ac.tar.gz
ChibiOS-Contrib-cabe71bbf51e274cd3ede71818fa5a816d6ec6ac.tar.bz2
ChibiOS-Contrib-cabe71bbf51e274cd3ede71818fa5a816d6ec6ac.zip
Added Jenkinsfile
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile7
1 files changed, 5 insertions, 2 deletions
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/'