From 4a60627631ed16fe3d09181babfdebb63cfd15e4 Mon Sep 17 00:00:00 2001
From: Rebecca Valente <rin.vto@gmail.com>
Date: Tue, 8 Jul 2025 00:49:05 -0300
Subject: [PATCH] devops: updated docker build command to include additional
 options for extra configuration.

---
 ...docker-image-build-then-push-to-local-registry.gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pipelines/docker-image-build-then-push-to-local-registry.gitlab-ci.yml b/pipelines/docker-image-build-then-push-to-local-registry.gitlab-ci.yml
index 6022cf7..49efb96 100644
--- a/pipelines/docker-image-build-then-push-to-local-registry.gitlab-ci.yml
+++ b/pipelines/docker-image-build-then-push-to-local-registry.gitlab-ci.yml
@@ -13,7 +13,7 @@ build-and-push docker image to local registry:
   stage: build
   script:
   - if ! test -z "$DOCKERFILE_DIRECTORY"; then cd ${DOCKERFILE_DIRECTORY}; fi
-  - docker build -f "${DOCKERFILE_NAME}" -t "${CI_REGISTRY_IMAGE}:${DOCKER_IMAGE_TAG}" --progress=plain .
+  - docker build -f "${DOCKERFILE_NAME}" -t "${CI_REGISTRY_IMAGE}:${DOCKER_IMAGE_TAG}" --progress=plain ${DOCKER_EXTRA_OPTS} .
   - docker push "${CI_REGISTRY_IMAGE}:${DOCKER_IMAGE_TAG}"
 
 push docker to destination registry: