Update Jenkinsfile

2020-11-26 12:45:12 +01:00
parent 4290216041
commit 90f6d0e9ba
1 changed files with 2 additions and 8 deletions
--- a/10
+++ b/10
@@ -1,16 +1,10 @@
 pipeline {
  agent any
  stages {
-    stage('Init Submodules') {
-      steps {
-        sh 'git submodule update --init --recursive'
-      }
-    }
-
    stage('Build') {
      steps {
-        sh 'bash ./scripts/build.sh --setup --fast'
-    //    sh 'bash ./scripts/inst.sh --setup --fast --remote'
+        //sh 'bash ./scripts/build.sh'
+        sh 'bash ./scripts/inst.sh --setup --fast --remote'
      }
    }