From 9dfca6f80da14c3c728667fe33f2fbab48d36291 Mon Sep 17 00:00:00 2001 From: WolverinDEV Date: Sat, 11 Aug 2018 11:39:50 +0200 Subject: [PATCH] Edited jenkins file --- Jenkinsfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Jenkinsfile b/Jenkinsfile index 5484df3..cebded8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -27,7 +27,7 @@ pipeline { stage ('Initialize libraries') { steps { sh 'apt-get update' - sh 'git reset --hard origin/master; git submodule update --init --remote --recursive' + sh 'git reset --hard origin/master; git submodule update --init --remote --recursive --force' sh 'git submodule update --merge' sh './attach_modules.sh' sh 'cd libraries; ./build.sh' @@ -69,7 +69,7 @@ pipeline { stage ('Initialize libraries') { steps { sh 'apt-get update' - sh 'git reset --hard origin/master; git submodule update --init --remote --recursive' + sh 'git reset --hard origin/master; git submodule update --init --remote --recursive --force' sh 'git submodule update --merge' sh './attach_modules.sh' sh 'cd libraries; ./build.sh'