diff --git a/Jenkinsfile b/Jenkinsfile index 40c707c01a..8971aef4a5 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -46,7 +46,8 @@ pipeline { sh 'git clean -ff -x -d .' sh 'git submodule deinit -f .' sh 'git submodule update --init --recursive' - sh 'RUN_PYTEST=1 ./build.sh' + //sh 'RUN_PYTEST=1 ./build.sh' + sh './build.sh' } }