diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 10:26:23 +0100 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 10:26:23 +0100 |
| commit | 9ca52f9dc3e615b52398821ec674a3a119df92cc (patch) | |
| tree | bb977d5051d5d2b093719f092628589c34091e45 /Jenkinsfile | |
| parent | 559e7bd1d78c351fc45c4a930b28681699c6f0b9 (diff) | |
| download | ChibiOS-Contrib-9ca52f9dc3e615b52398821ec674a3a119df92cc.tar.gz ChibiOS-Contrib-9ca52f9dc3e615b52398821ec674a3a119df92cc.tar.bz2 ChibiOS-Contrib-9ca52f9dc3e615b52398821ec674a3a119df92cc.zip | |
Added Jenkinsfile
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 1368b36..ffb1c7d 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -20,14 +20,9 @@ pipeline { } steps { - sh '''mkdir /tmp/contrib_$EXECUTOR_NUMBER + sh '''git -C $WORKSPACE/ChibiOS pull || git clone -b stable_19.1.x --single-branch https://github.com/ChibiOS/ChibiOS.git -cp -r $WORKSPACE/* $WORKSPACE/.git /tmp/contrib_$EXECUTOR_NUMBER - -cp -r /tmp/contrib_$EXECUTOR_NUMBER $WORKSPACE/''' - sh '''git -C $WORKSPACE/ChibiOS-RT pull || git clone -b stable_19.1.x --single-branch https://github.com/ChibiOS/ChibiOS.git $WORKSPACE/ChibiOS-RT -cd $WORKSPACE/contrib_$EXECUTOR_NUMBER -bash ./tools/chbuild.sh ./testhal/STM32/''' +CH_PATH=$WORKSPACE/ChibiOS ./tools/chbuild.sh ./testhal/STM32/''' } } } |