diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 10:56:10 +0100 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 10:56:10 +0100 |
| commit | d4c95a30aa390c30c0ae2fb10f1acaee2b199315 (patch) | |
| tree | d2c3f03e02d5bffee9b727c2d5c42576dd79ed75 /Jenkinsfile | |
| parent | c4b16f95b9ce7833ef608e714d847abefaa65866 (diff) | |
| download | ChibiOS-Contrib-d4c95a30aa390c30c0ae2fb10f1acaee2b199315.tar.gz ChibiOS-Contrib-d4c95a30aa390c30c0ae2fb10f1acaee2b199315.tar.bz2 ChibiOS-Contrib-d4c95a30aa390c30c0ae2fb10f1acaee2b199315.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 28b49e7..4914eda 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -22,7 +22,9 @@ pipeline { steps { sh '''BRANCH=stable_18.2.x -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''' +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 +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/' } |