Update Jenkinsfile

2020-11-24 11:25:40 +01:00
parent 810c8a5d00
commit ce64d00b3a
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -10,7 +10,7 @@ pipeline {
    stage('Build') {
      steps {
        sh 'bash ./scripts/build.sh'
-        sh 'bash ./scripts/inst.sh --setup --fast --remote'
+    //    sh 'bash ./scripts/inst.sh --setup --fast --remote'
      }
    }