Update Jenkinsfile

2021-04-01 19:40:23 +02:00
parent 233199054e
commit 48574c2eb4
1 changed files with 2 additions and 1 deletions
--- a/3
+++ b/3
@@ -10,7 +10,8 @@ pipeline {
    stage('Build') {
      steps {
 	    sh 'chmod +x scripts/inst.sh'
-        sh './scripts/inst.sh --setup'
+        sh './scripts/inst.sh --setup --fast --remote
+'
      }
    }