diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 10:43:41 +0100 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 10:43:41 +0100 |
| commit | 19dd0a51071d1ead97fb149bb677c4aecccf72dc (patch) | |
| tree | ff30b99961b047cc0c644280f75626c660b820ad /Jenkinsfile | |
| parent | 22c27bd977fa6f31e9f6401876cb0cbd066387b1 (diff) | |
| download | ChibiOS-Contrib-19dd0a51071d1ead97fb149bb677c4aecccf72dc.tar.gz ChibiOS-Contrib-19dd0a51071d1ead97fb149bb677c4aecccf72dc.tar.bz2 ChibiOS-Contrib-19dd0a51071d1ead97fb149bb677c4aecccf72dc.zip | |
Added Jenkinsfile
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index fd3da41..b3edf69 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/' } |