From 44dd6f180b8fa18b11789f3ca86552b3188279bf Mon Sep 17 00:00:00 2001 From: Fabien Poussin Date: Mon, 11 Mar 2019 22:17:17 +0100 Subject: JenkinsFile Fix --- Jenkinsfile | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'Jenkinsfile') 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''' -- cgit v1.2.3