diff --git a/buildScript.sh b/buildScript.sh old mode 100644 new mode 100755 index fc359063820e448599a0f68b37467f80d444b233..622e5bfcf0e596db8bc0b69f4caa0aec52d4292c --- a/buildScript.sh +++ b/buildScript.sh @@ -1 +1 @@ -docker build -t "MAMUT:Dockerfile" . +docker build -t "MAMUT_ros:Dockerfile" .