diff --git a/Jenkinsfile b/Jenkinsfile index aa68f3fab59d..bab02cb9463e 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -8,7 +8,6 @@ pipeline { } steps { - sh 'make submodulesclean' sh 'make check_format' } }