From d50c846a7bbe50a30a1b2fbd5ab34e59d8819ea9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michael=20G=C3=B6rner?= Date: Tue, 24 Sep 2024 20:32:42 +0200 Subject: [PATCH] Ignore Debian-specific catkin_lint error around urdfdom_headers (#614) Without the patch: $ catkin_lint rviz_marker_tools/ rviz_marker_tools: package.xml: error: missing build_depend on 'urdfdom_headers' requires catkin_lint 1.6.24 for successful error suppression. --- rviz_marker_tools/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/rviz_marker_tools/CMakeLists.txt b/rviz_marker_tools/CMakeLists.txt index ed931f8e..3878ba19 100644 --- a/rviz_marker_tools/CMakeLists.txt +++ b/rviz_marker_tools/CMakeLists.txt @@ -10,6 +10,8 @@ find_package(catkin REQUIRED COMPONENTS ) find_package(Eigen3 REQUIRED) +# lint ignore is needed to support ROS distributions which also define urdfdom_headers in rosdep (e.g., Debian ROS packages) +#catkin_lint: ignore missing_depend[pkg=urdfdom_headers] find_package(urdfdom_headers REQUIRED) catkin_package(