Jenkins: deploy: build the rtps target before commiting microRTPS agent changes

This commit is contained in:
TSC21 2020-08-19 00:22:23 +02:00 committed by Nuno Marques
parent d9bbed767c
commit 7b4ae7c658
1 changed files with 1 additions and 0 deletions

1
Jenkinsfile vendored
View File

@ -267,6 +267,7 @@ pipeline {
steps {
sh('export')
sh('make distclean')
sh('make px4_sitl_rtps')
withCredentials([usernamePassword(credentialsId: 'px4buildbot_github_personal_token', passwordVariable: 'GIT_PASS', usernameVariable: 'GIT_USER')]) {
sh("git clone https://${GIT_USER}:${GIT_PASS}@github.com/PX4/micrortps_agent.git")
sh('cp -R build/px4_sitl_rtps/src/modules/micrortps_bridge/micrortps_agent/* micrortps_agent')