aboutsummaryrefslogtreecommitdiffstats
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile4
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'''