diff --git a/Jenkinsfile b/Jenkinsfile
index 6dca7cd..229cbed 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -8,7 +8,7 @@ pipeline {
 			steps {
 				sh 'apt-get update'
 				sh 'git submodule update --init --remote --recursive'
-				sh 'git submodule update'
+				sh 'git submodule update --merge'
 				sh './attach_modules.sh'
 				sh 'cd libraries; ./build.sh'