diff options
Diffstat (limited to 'Tools/ros')
-rwxr-xr-x | Tools/ros/px4_workspace_create.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Tools/ros/px4_workspace_create.sh b/Tools/ros/px4_workspace_create.sh index d8d65c819..4055f7320 100755 --- a/Tools/ros/px4_workspace_create.sh +++ b/Tools/ros/px4_workspace_create.sh @@ -5,3 +5,4 @@ mkdir -p catkin_ws/src cd catkin_ws/src catkin_init_workspace cd .. +catkin_make |