summaryrefslogtreecommitdiff
path: root/Jenkinsfile
diff options
context:
space:
mode:
Diffstat (limited to 'Jenkinsfile')
-rw-r--r--Jenkinsfile22
1 files changed, 12 insertions, 10 deletions
diff --git a/Jenkinsfile b/Jenkinsfile
index 67787f659..d5be6d5c9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -88,16 +88,18 @@ pipeline {
steps {
script {
dir('build') {
- scm {
- git {
- remote {
- name(getGitRepoName())
- url(getGitRepoURL())
- refspec('+refs/pull/*:refs/remotes/origin/pr/*')
- }
- branch('${sha1}')
- }
- }
+ checkout([
+ $class: 'GitSCM',
+ branches: [[name: getGitBranchName()]],
+ doGenerateSubmoduleConfigurations: false,
+ extensions: [[$class: 'CleanCheckout']],
+ submoduleCfg: [],
+ userRemoteConfigs: [[
+ refspec: '+refs/pull/*/head' +
+ ':refs/remotes/origin/*',
+ url: getGitRepoURL()
+ ]]
+ ])
}
}
}