Merge remote-tracking branch 'origin/master'

rafaelrojasmiliani · Aug 25, 2021 · 0d1b933 · 0d1b933
2 parents 9e51e8e + c60f4b5
commit 0d1b933
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -47,7 +47,6 @@ if(DEFINED catkin_LIBRARIES)
     opstop ${GSL_LIBRARIES} ${Eigen3_LIBRARIES} ${ifopt_LIBRARIES}
     ${pinocchio_LIBRARIES} ${catkin_LIBRARIES})
 
-  message(WARNING "catkin detected " ${catkin_LIBRARIES})
 else()
 
   target_link_libraries(opstop ${GSL_LIBRARIES} ${Eigen3_LIBRARIES}