From 26b0e826ca28c214e8a40a07e4a5284ab9924649 Mon Sep 17 00:00:00 2001
From: ABurrello <40060475+ABurrello@users.noreply.github.com>
Date: Thu, 9 Nov 2023 14:24:56 +0100
Subject: [PATCH] Update build_docker.sh

---
 docker_utils/build_docker.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docker_utils/build_docker.sh b/docker_utils/build_docker.sh
index 86b51f0e..af39816d 100755
--- a/docker_utils/build_docker.sh
+++ b/docker_utils/build_docker.sh
@@ -7,6 +7,6 @@ else
     echo "No container name supplied; building with name 'dory_docker'"
 fi
 
-docker -t $CONTAINER_NAME - < Dockerfile
+docker build -t $CONTAINER_NAME - < Dockerfile
 
 echo "Done - built container with name $CONTAINER_NAME"