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