diff --git a/Jenkinsfile b/Jenkinsfile index 8dc67482c0..2046fad12b 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -481,12 +481,10 @@ pipeline { sh('export') withCredentials([usernamePassword(credentialsId: 'px4buildbot_github_personal_token', passwordVariable: 'GIT_PASS', usernameVariable: 'GIT_USER')]) { sh('git clone https://${GIT_USER}:${GIT_PASS}@github.com/PX4/px4_msgs.git') - sh('python msg/tools/uorb_to_ros_msgs.py msg/ msg/ros/') - sh('cp -a msg/ros/. px4_msgs/msg') + sh('python msg/tools/uorb_to_ros_msgs.py msg/ px4_msgs/msg/') sh('cd px4_msgs; git status; git add .; git commit -a -m "Update message definitions `date`" || true') sh('cd px4_msgs; git push origin master || true') sh('rm -rf px4_msgs') - sh('rm -rf msg/ros') } } when {