Commit d50c846
authored
Ignore Debian-specific catkin_lint error around urdfdom_headers (moveit#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.1 parent 99ccc11 commit d50c846
1 file changed
+2
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
10 | 10 | | |
11 | 11 | | |
12 | 12 | | |
| 13 | + | |
| 14 | + | |
13 | 15 | | |
14 | 16 | | |
15 | 17 | | |
| |||
0 commit comments