diff options
| author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-11 22:17:17 +0100 |
|---|---|---|
| committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-11 22:17:17 +0100 |
| commit | 44dd6f180b8fa18b11789f3ca86552b3188279bf (patch) | |
| tree | bf5424a25ada5738c1e0c0091f9e202dd2174328 /Jenkinsfile | |
| parent | 369b44119ee231b5cb2cbccd7fc0e14dca7314f8 (diff) | |
| download | ChibiOS-Contrib-44dd6f180b8fa18b11789f3ca86552b3188279bf.tar.gz ChibiOS-Contrib-44dd6f180b8fa18b11789f3ca86552b3188279bf.tar.bz2 ChibiOS-Contrib-44dd6f180b8fa18b11789f3ca86552b3188279bf.zip | |
JenkinsFile Fix
Diffstat (limited to 'Jenkinsfile')
| -rw-r--r-- | Jenkinsfile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 03b2d1e..e086ece 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -34,6 +34,7 @@ cd $CH_PATH git remote set-url origin https://github.com/ChibiOS/ChibiOS.git git pull --rebase git checkout -b $CH_BRANCH +git pull --rebase cd ext for i in *.7z; do 7z x -y $i; done''' @@ -60,6 +61,7 @@ cd $CH_PATH git remote set-url origin https://github.com/ChibiOS/ChibiOS.git git pull --rebase git checkout -b $CH_BRANCH +git pull --rebase cd ext for i in *.7z; do 7z x -y $i; done''' @@ -87,6 +89,7 @@ cd $CH_PATH git remote set-url origin https://github.com/ChibiOS/ChibiOS.git git pull --rebase git checkout -b $CH_BRANCH +git pull --rebase cd ext for i in *.7z; do 7z x -y $i; done''' @@ -114,6 +117,7 @@ cd $CH_PATH git remote set-url origin https://github.com/ChibiOS/ChibiOS.git git pull --rebase git checkout -b $CH_BRANCH +git pull --rebase cd ext for i in *.7z; do 7z x -y $i; done''' |