Browse Source

Jenkins: microRTPS agent fetch git tags for versioning

sbg
Daniel Agar 5 years ago
parent
commit
0ae6da4bb0
  1. 1
      Jenkinsfile

1
Jenkinsfile vendored

@ -266,6 +266,7 @@ pipeline {
} }
steps { steps {
sh('export') sh('export')
sh('git fetch --all --tags')
sh('make distclean') sh('make distclean')
sh('make px4_sitl_rtps') sh('make px4_sitl_rtps')
withCredentials([usernamePassword(credentialsId: 'px4buildbot_github_personal_token', passwordVariable: 'GIT_PASS', usernameVariable: 'GIT_USER')]) { withCredentials([usernamePassword(credentialsId: 'px4buildbot_github_personal_token', passwordVariable: 'GIT_PASS', usernameVariable: 'GIT_USER')]) {

Loading…
Cancel
Save