diff --git a/Jenkinsfile b/Jenkinsfile index 25444497..f9de2b8c 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -27,7 +27,7 @@ rm -rf $CH_PATH git clone -b $BRANCH --single-branch https://github.com/ChibiOS/ChibiOS.git $CH_PATH cd $CH_PATH/ext -z7 x -y *.7z''' +7z 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/' }