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