diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 12:36:45 +0100 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 12:36:45 +0100 |
| commit | bf1c2b71c2427d7e1bd922e25eb2b2c2de5d839b (patch) | |
| tree | 4440c8cb72b602da00f0c201f5c7fbdcb0cc0a17 /Jenkinsfile | |
| parent | e80ffbd4dcadc280e66ea8dc2d6c8712094fd341 (diff) | |
| download | ChibiOS-Contrib-bf1c2b71c2427d7e1bd922e25eb2b2c2de5d839b.tar.gz ChibiOS-Contrib-bf1c2b71c2427d7e1bd922e25eb2b2c2de5d839b.tar.bz2 ChibiOS-Contrib-bf1c2b71c2427d7e1bd922e25eb2b2c2de5d839b.zip | |
Added Jenkinsfile
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 309acaa..2e32a9f 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -23,6 +23,8 @@ pipeline { sh '''BRANCH=stable_18.2.x CH_PATH=$WORKSPACE/ChibiOS +arm-none-eabi-gcc -v + rm -rf $CH_PATH git clone -b $BRANCH --single-branch https://github.com/ChibiOS/ChibiOS.git $CH_PATH |