mirror of
https://github.com/moveit/moveit_task_constructor.git
synced 2025-09-27 00:29:13 +08:00
Suppress unused-function warning
This commit is contained in:
parent
2b2689e8d7
commit
5a30f8a8a7
@ -14,6 +14,7 @@ find_package(catkin REQUIRED COMPONENTS
|
||||
rviz_marker_tools
|
||||
)
|
||||
|
||||
option(MOVEIT_CI_WARNINGS "Enable all warnings used by CI" OFF) # We use our own set of warnings
|
||||
moveit_build_options()
|
||||
|
||||
catkin_package(
|
||||
|
Loading…
Reference in New Issue
Block a user