Remove catkin_make from devel mode

If catkin_make fails the container will not be started in devel mode, therefore it needs to be removed.
esa-prl · Jan 26, 2021 · 00b9a30 · 00b9a30
1 parent 27b5941
commit 00b9a30
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docker/entrypoint.sh b/docker/entrypoint.sh
@@ -18,8 +18,8 @@ elif [[ $1 == "devel" ]]
 then
 	cd /root/exomy_ws
 	source /opt/ros/melodic/setup.bash
-	catkin_make
-	source devel/setup.bash
+	# catkin_make
+	# source devel/setup.bash
 	bash
 else
 	bash