diff --git a/Jenkinsfile b/Jenkinsfile index fd3da41a..b3edf694 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,7 +20,9 @@ pipeline { } steps { - sh 'git -C $WORKSPACE/ChibiOS pull || git clone -b stable_19.1.x --single-branch https://github.com/ChibiOS/ChibiOS.git' + sh '''BRANCH=stable_18.2.x + +git -C $WORKSPACE/ChibiOS checkout $BRANCH && git -C $WORKSPACE/ChibiOS pull || git clone -b $BRANCH --single-branch https://github.com/ChibiOS/ChibiOS.git''' 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/' }