diff options
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 |