diff --git a/Jenkinsfile b/Jenkinsfile
index 8f381c385..0cf8c4971 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -10,7 +10,7 @@ pipeline {
     stage('Build') {
       steps {
         sh 'bash ./scripts/build.sh'
-        sh 'bash ./scripts/inst.sh --setup --fast --remote'
+    //    sh 'bash ./scripts/inst.sh --setup --fast --remote'
       }
     }