updated jenkins file

2018-08-08 22:21:24 +02:00
parent 16057ba3a6
commit 5a549abd61
1 changed files with 1 additions and 0 deletions
@@ -8,6 +8,7 @@ pipeline {
 			steps {
 				sh 'apt-get update'
 				sh 'git submodule update --init --remote --recursive'
 				sh 'git submodule update'
 				sh './attach_modules.sh'
 				sh 'cd libraries; ./build.sh'