diff options
| -rw-r--r-- | Jenkinsfile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/Jenkinsfile b/Jenkinsfile index 7b6dc49e3..3dee31718 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -88,8 +88,14 @@ pipeline { steps { script { dir('build') { - git branch: getGitBranchName(), - url: getGitRepoURL() + checkout([ + $class: 'GitSCM', + branches: [[name: getGitBranchName()]], + doGenerateSubmoduleConfigurations: false, + extensions: [[$class: 'CleanCheckout']], + submoduleCfg: [], + userRemoteConfigs: [[refspec: "+refs/pull/*:refs/remotes/origin/* +refs/heads/*:refs/remotes/origin/*", url: getGitRepoURL()]] + ]) } } } |