diff options
-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/''' } } } |