Update Jenkinsfile

2023-03-05 16:52:36 -07:00
parent c52b1a2464
commit 48bc7a76a6
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@@ -11,7 +11,7 @@ pipeline {
      steps {
 	    sh 'update-alternatives --set java /usr/lib/jvm/zulu8/jre/bin/java'
 	    sh 'chmod +x scripts/inst.sh'
-            sh './scripts/inst.sh --setup --fast --remote'
+            sh './scripts/inst.sh --setup --remote'
      }
    }