diff --git a/Jenkinsfile b/Jenkinsfile index d0589e06f..85b521b55 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -1,16 +1,10 @@ pipeline { agent any stages { - stage('Init Submodules') { - steps { - sh 'git submodule update --init --recursive' - } - } - stage('Build') { steps { - sh 'bash ./scripts/build.sh --setup --fast' - // sh 'bash ./scripts/inst.sh --setup --fast --remote' + //sh 'bash ./scripts/build.sh' + sh 'bash ./scripts/inst.sh --setup --fast --remote' } }