build-docker.sh updated to allow for empty PIGEN_DOCKER_OPTS #522

Merged

XECDesign merged 1 commit intoRPi-Distro:masterfrom DBongiorno-CG:master

Jun 17, 2021

+1

Commits on Jun 16, 2021

Added simple catch for default case in which PIGEN_DOCKER_OPTS is unspecified during docker build
DBongiorno-CG
committed