From 176d7ef62d8413f094cd090407c473fc3aff9b2b Mon Sep 17 00:00:00 2001 From: Daniel Agar Date: Mon, 23 Dec 2019 10:43:56 -0500 Subject: [PATCH] Jenkins PX4 ROS2 bridge don't specify python binary --- Jenkinsfile | 2 +- msg/tools/uorb_to_ros_rtps_ids.py | 0 2 files changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 msg/tools/uorb_to_ros_rtps_ids.py diff --git a/Jenkinsfile b/Jenkinsfile index 2b03631d92..2f5b91e7d6 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -689,7 +689,7 @@ pipeline { 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_ros_com.git -b ${BRANCH_NAME}") // deploy uORB RTPS ID map - sh('python msg/tools/uorb_to_ros_rtps_ids.py -i msg/tools/uorb_rtps_message_ids.yaml -o px4_ros_com/templates/uorb_rtps_message_ids.yaml') + sh('./msg/tools/uorb_to_ros_rtps_ids.py -i msg/tools/uorb_rtps_message_ids.yaml -o px4_ros_com/templates/uorb_rtps_message_ids.yaml') sh('cd px4_ros_com; git status; git add .; git commit -a -m "Update uORB RTPS ID map `date`" || true') sh('cd px4_ros_com; git push origin ${BRANCH_NAME} || true') // deploy uORB RTPS required tools diff --git a/msg/tools/uorb_to_ros_rtps_ids.py b/msg/tools/uorb_to_ros_rtps_ids.py old mode 100644 new mode 100755