Update Jenkinsfile

2020-12-12 20:02:01 +01:00
parent 2aabcc3bb1
commit db31b8edde
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -3,7 +3,7 @@ pipeline {
  stages {
    stage('Build') {
      steps {
-          sh 'bash ./scripts/inst.sh --setup --fast --remote'
+          sh 'bash ./scripts/inst.sh --setup --fast'
       // sh 'chmod +x scripts/build.sh'
     //   sh 'sh ./scripts/build.sh'
      }