Set rudefox defaults

2020-09-01 20:42:48 +02:00 · 2020-09-01 20:42:48 +02:00 · 8f3c43116e
parent d58c7244ec
commit 8f3c43116e
1 changed files with 0 additions and 6 deletions
--- 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)"}