From 54e1bb428fb52c9d6b67fd1f679a2e3571162a30 Mon Sep 17 00:00:00 2001
From: DBongiorno-CG <83716695+DBongiorno-CG@users.noreply.github.com>
Date: Thu, 17 Jun 2021 17:44:30 -0400
Subject: [PATCH] Added simple catch for default case in which
 PIGEN_DOCKER_OPTS is unspecified during docker build (#522)

---
 build-docker.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-docker.sh b/build-docker.sh
index 9538a8b..01fd517 100755
--- a/build-docker.sh
+++ b/build-docker.sh
@@ -48,6 +48,7 @@ fi
 CONTAINER_NAME=${CONTAINER_NAME:-pigen_work}
 CONTINUE=${CONTINUE:-0}
 PRESERVE_CONTAINER=${PRESERVE_CONTAINER:-0}
+PIGEN_DOCKER_OPTS=${PIGEN_DOCKER_OPTS:-""}  
 
 if [ -z "${IMG_NAME}" ]; then
 	echo "IMG_NAME not set in 'config'" 1>&2