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