diff --git a/Jenkinsfile b/Jenkinsfile
index bc796aeee8..0fd2b00a4d 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -53,9 +53,6 @@ pipeline {
               args '--privileged --shm-size=1G --user=root'
             }
           }
-          options {
-            skipDefaultCheckout true
-          }
           stages {
             stage('Build') {
               steps {