Added simple catch for default case in which PIGEN_DOCKER_OPTS is uns…

…pecified during docker build (RPi-Distro#522)
DozeeRnD · Jun 17, 2021 · 6214d8b · 6214d8b
1 parent 014ae41
commit 6214d8b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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