added catkin_make

2026-05-24 15:40:31 +08:00 · 2015-01-16 11:42:00 +01:00
parent 96db9e8188
commit ac76cdbc37
1 changed files with 1 additions and 0 deletions
@@ -5,3 +5,4 @@ mkdir -p catkin_ws/src
 cd catkin_ws/src
 catkin_init_workspace
 cd ..
+catkin_make