Merge d45b9a52e0 into d6207a620a

2020-08-26 13:14:01 +02:00 · 2020-08-26 13:14:01 +02:00 · bcaac08d32
commit bcaac08d32
parent d6207a620a d45b9a52e0
1 changed files with 1 additions and 1 deletions
--- a/build-docker.sh
+++ b/build-docker.sh
@ -41,7 +41,7 @@ if test -z "${CONFIG_FILE}"; then
 	exit 1
 else
 	# shellcheck disable=SC1090
-	source ${CONFIG_FILE}
+	source "${CONFIG_FILE}"
 fi

 CONTAINER_NAME=${CONTAINER_NAME:-pigen_work}