# Dockerfile names. To skip building one or more docker images,
# change dockerfile name to "skip"
PORTAL_DOCKERFILE=Dockerfile.portal
# Dockerfile names. To skip building one or more docker images,
# change dockerfile name to "skip"
PORTAL_DOCKERFILE=Dockerfile.portal