Update Jenkinsfile

This commit is contained in:
Markus 2018-08-09 00:53:02 +02:00
parent 132c2c2d4f
commit 0c184e19bd

2
Jenkinsfile vendored
View File

@ -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'