Update Jenkinsfile

2021-12-13 20:38:25 +01:00
parent 26d65b8875
commit 6d023d0ff5
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -10,7 +10,7 @@ pipeline {
    stage('Build') {
      steps {
 	    sh 'chmod +x scripts/inst.sh'
-        sh './scripts/inst.sh --setup --fast --remote'
+        sh './scripts/inst.sh --setup'
      }
    }