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.
This commit is contained in:
Michael Görner 2024-09-24 20:32:42 +02:00 committed by GitHub
parent 99ccc115e0
commit d50c846a7b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -10,6 +10,8 @@ find_package(catkin REQUIRED COMPONENTS
) )
find_package(Eigen3 REQUIRED) 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) find_package(urdfdom_headers REQUIRED)
catkin_package( catkin_package(