diff options
author | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-11 22:18:47 +0100 |
---|---|---|
committer | Fabien Poussin <fabien.poussin@gmail.com> | 2019-03-11 22:18:47 +0100 |
commit | c66b54376b57d00bc38be196f7db906980154983 (patch) | |
tree | 75443b18679889677435e3267be45f21610950c3 /Jenkinsfile | |
parent | 44dd6f180b8fa18b11789f3ca86552b3188279bf (diff) | |
download | ChibiOS-Contrib-c66b54376b57d00bc38be196f7db906980154983.tar.gz ChibiOS-Contrib-c66b54376b57d00bc38be196f7db906980154983.tar.bz2 ChibiOS-Contrib-c66b54376b57d00bc38be196f7db906980154983.zip |
JenkinsFile fix
Diffstat (limited to 'Jenkinsfile')
-rw-r--r-- | Jenkinsfile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index e086ece..86c9437 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -34,7 +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 +git pull --rebase origin $CH_BRANCH cd ext for i in *.7z; do 7z x -y $i; done''' @@ -61,7 +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 +git pull --rebase origin $CH_BRANCH cd ext for i in *.7z; do 7z x -y $i; done''' @@ -89,7 +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 +git pull --rebase origin $CH_BRANCH cd ext for i in *.7z; do 7z x -y $i; done''' @@ -117,7 +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 +git pull --rebase origin $CH_BRANCH cd ext for i in *.7z; do 7z x -y $i; done''' |