diff --git a/Jenkinsfile b/Jenkinsfile
index 036d4a8c3..2c0d9482f 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -3,7 +3,7 @@ pipeline {
   stages {
     stage('Build') {
       steps {
-          sh 'bash ./scripts/inst.sh --fast'
+          sh 'bash ./scripts/inst.sh --setup'
        // sh 'chmod +x scripts/build.sh'
      //   sh 'sh ./scripts/build.sh'
       }