From ac76cdbc373cd09210ad0d35db91ff08c39cf872 Mon Sep 17 00:00:00 2001
From: Andreas Antener <antener_a@gmx.ch>
Date: Fri, 16 Jan 2015 11:42:00 +0100
Subject: added catkin_make

---
 Tools/ros/px4_workspace_create.sh | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Tools')

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
-- 
cgit v1.2.3