From 2bd141a25923b1c45c5d49d6ea354137d58c86d4 Mon Sep 17 00:00:00 2001 From: GuelaKais <koroyeldiores@gmail.com> Date: Tue, 17 Oct 2023 15:02:56 +0200 Subject: [PATCH] names have to has a lower_case name, so it's now fixed --- buildScript.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 buildScript.sh diff --git a/buildScript.sh b/buildScript.sh old mode 100644 new mode 100755 index fc35906..622e5bf --- a/buildScript.sh +++ b/buildScript.sh @@ -1 +1 @@ -docker build -t "MAMUT:Dockerfile" . +docker build -t "MAMUT_ros:Dockerfile" . -- GitLab