Added simple catch for default case in which PIGEN_DOCKER_OPTS is unspecified during docker build (#522)
This commit is contained in:
parent
4ebe5490d1
commit
54e1bb428f
1 changed files with 1 additions and 0 deletions
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue