diff --git a/Jenkinsfile b/Jenkinsfile index d7f166b5fe..9e9f5787c8 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -231,9 +231,13 @@ pipeline { sh("git clone https://${GIT_USER}:${GIT_PASS}@github.com/PX4/px4_msgs.git") // 'main' branch sh('rm -f px4_msgs/msg/*.msg') + sh('rm -f px4_msgs/msg/versioned/*.msg') sh('rm -f px4_msgs/srv/*.srv') + sh('rm -f px4_msgs/srv/versioned/*.srv') sh('cp msg/*.msg px4_msgs/msg/') + sh('mkdir -p px4_msgs/msg/versioned && cp msg/versioned/*.msg px4_msgs/msg/versioned/') sh('cp srv/*.srv px4_msgs/srv/') + sh('mkdir -p px4_msgs/srv/versioned && cp srv/versioned/*.srv px4_msgs/srv/versioned/') sh('cd px4_msgs; git status; git add .; git commit -a -m "Update message definitions `date`" || true') sh('cd px4_msgs; git push origin main || true') sh('rm -rf px4_msgs')