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'