ignore Debian-specific error around urdfdom_headers

Without the patch: $ catkin_lint rviz_marker_tools/ rviz_marker_tools: package.xml: error: missing build_depend on 'urdfdom_headers'
moveit · Sep 23, 2024 · 7cbb199 · 7cbb199
1 parent 99ccc11
commit 7cbb199
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/rviz_marker_tools/CMakeLists.txt b/rviz_marker_tools/CMakeLists.txt
@@ -10,6 +10,9 @@ find_package(catkin REQUIRED COMPONENTS
 )
 find_package(Eigen3 REQUIRED)
 
+# TODO: catkin_lint does not support `ignore_once missing_depend`
+# python3-rosdep2 (debian) provides the key and thus triggers a false positive
+#catkin_lint: ignore missing_depend
 find_package(urdfdom_headers REQUIRED)
 
 catkin_package(