diff --git a/Jenkinsfile b/Jenkinsfile index a408b8c..5484df3 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -27,7 +27,7 @@ pipeline { stage ('Initialize libraries') { steps { sh 'apt-get update' - sh 'git submodule update --init --remote --recursive' + sh 'git reset --hard origin/master; git submodule update --init --remote --recursive' 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 submodule update --init --remote --recursive' + sh 'git reset --hard origin/master; git submodule update --init --remote --recursive' sh 'git submodule update --merge' sh './attach_modules.sh' sh 'cd libraries; ./build.sh'