diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 09:34:36 +0000 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-07 09:34:36 +0000 |
| commit | 15d14a502fdc74585c10cccfb4cbf29e5f3fd0f3 (patch) | |
| tree | 4dcc76484a54593661b8625b45e7b080d9ca1c5f | |
| parent | c4adeba80e96cc989091887e0baadcb609c984d5 (diff) | |
| parent | 9ca52f9dc3e615b52398821ec674a3a119df92cc (diff) | |
| download | ChibiOS-Contrib-15d14a502fdc74585c10cccfb4cbf29e5f3fd0f3.tar.gz ChibiOS-Contrib-15d14a502fdc74585c10cccfb4cbf29e5f3fd0f3.tar.bz2 ChibiOS-Contrib-15d14a502fdc74585c10cccfb4cbf29e5f3fd0f3.zip | |
Merge branch 'master' of github.com:ChibiOS/ChibiOS-Contrib
| -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/''' } } } |