Update Jenkinsfile

2020-12-15 19:26:57 +01:00
parent 05ea8eda44
commit b23baff1d8
1 changed files with 7 additions and 1 deletions
--- a/8
+++ b/8
@@ -1,9 +1,15 @@
 pipeline {
  agent any
  stages {
+    stage('Init Submodules') {
+      steps {
+        sh 'git submodule update --init --recursive'
+      }
+    }
+
    stage('Build') {
      steps {
-       sh 'bash ./scripts/inst.sh --setup --fast'
+        sh 'bash ./scripts/inst.sh --setup --fast'
      }
    }