From 8f3c43116e372e8cd99783f6d8d27eb80db0373f Mon Sep 17 00:00:00 2001
From: BJ Dweck <bjdweck@gmail.com>
Date: Tue, 1 Sep 2020 20:42:48 +0200
Subject: [PATCH] Set rudefox defaults

---
 build-docker.sh | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/build-docker.sh b/build-docker.sh
index b6a9ea3..a326c5c 100755
--- a/build-docker.sh
+++ b/build-docker.sh
@@ -48,12 +48,6 @@ CONTAINER_NAME=${CONTAINER_NAME:-pigen_work}
 CONTINUE=${CONTINUE:-0}
 PRESERVE_CONTAINER=${PRESERVE_CONTAINER:-0}
 
-if [ -z "${IMG_NAME}" ]; then
-	echo "IMG_NAME not set in 'config'" 1>&2
-	echo 1>&2
-exit 1
-fi
-
 # Ensure the Git Hash is recorded before entering the docker container
 GIT_HASH=${GIT_HASH:-"$(git rev-parse HEAD)"}