diff --git a/Jenkinsfile b/Jenkinsfile index 7c858cab7..4f7b1a7a0 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,7 +8,8 @@ pipeline { } stage('Build') { steps { - sh '''git submodule update --init --recursive + sh '''echo $HOME +git submodule update --init --recursive rm -rf build mkdir build cd build