From 00b9a3066e0bcedce5531ce17192ad6c00155bd0 Mon Sep 17 00:00:00 2001
From: maxehrhardt <max.ehrhardt@hotmail.de>
Date: Tue, 26 Jan 2021 14:02:25 +0100
Subject: [PATCH] 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.
---
 docker/entrypoint.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docker/entrypoint.sh b/docker/entrypoint.sh
index 90ddb19..04294eb 100755
--- 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