diff options
author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-10-03 22:37:50 +0200 |
---|---|---|
committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-10-03 22:37:50 +0200 |
commit | 87f476491cd959c9093ba62208f0f44eb8b2264c (patch) | |
tree | 5d21fa19ce322b44c7cd096cd6ead021ed7e98ec /Jenkinsfile | |
parent | d4291fcd8f674512eed82ffd979996d47319712b (diff) | |
download | ChibiOS-Contrib-87f476491cd959c9093ba62208f0f44eb8b2264c.tar.gz ChibiOS-Contrib-87f476491cd959c9093ba62208f0f44eb8b2264c.tar.bz2 ChibiOS-Contrib-87f476491cd959c9093ba62208f0f44eb8b2264c.zip |
Adding ext 7z files to Jenkinsfile
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 18 |
1 files changed, 17 insertions, 1 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index c193551..a0bbd4a 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -28,6 +28,10 @@ exit 0''' steps { sh '''arm-none-eabi-gcc -v +cd $WORKSPACE/ext +for i in *.7z; do 7z x -y $i; done + +cd $WORKSPACE rm -rf $CH_PATH git clone /var/lib/git/ChibiOS $CH_PATH cd $CH_PATH @@ -55,6 +59,10 @@ export CHC_PATH=$WORKSPACE steps { sh '''arm-none-eabi-gcc -v +cd $WORKSPACE/ext +for i in *.7z; do 7z x -y $i; done + +cd $WORKSPACE rm -rf $CH_PATH git clone /var/lib/git/ChibiOS $CH_PATH cd $CH_PATH @@ -83,6 +91,10 @@ export CHC_PATH=$WORKSPACE steps { sh '''arm-none-eabi-gcc -v +cd $WORKSPACE/ext +for i in *.7z; do 7z x -y $i; done + +cd $WORKSPACE rm -rf $CH_PATH git clone /var/lib/git/ChibiOS $CH_PATH cd $CH_PATH @@ -111,6 +123,10 @@ export CHC_PATH=$WORKSPACE steps { sh '''arm-none-eabi-gcc -v +cd $WORKSPACE/ext +for i in *.7z; do 7z x -y $i; done + +cd $WORKSPACE rm -rf $CH_PATH git clone /var/lib/git/ChibiOS $CH_PATH cd $CH_PATH @@ -136,4 +152,4 @@ export CHC_PATH=$WORKSPACE CH_BRANCH = 'stable_19.1.x' CH_PATH = 'ChibiOS' } -} +}
\ No newline at end of file |