diff --git a/image.mk b/image.mk index f4bc8f08190894ca275e071aea5aa7be8fcaeaec..93f02b8c8aa8414f5e7ef816daef527e12777bfa 100644 --- a/image.mk +++ b/image.mk @@ -13,6 +13,8 @@ ifneq ($(CI_REGISTRY),) IMAGE := $(CI_REGISTRY)/$(IMAGE) endif +IMAGE_EXTRA_TAG := x86_64 + all: pull build pull: @@ -21,9 +23,15 @@ pull: build: docker build --cache-from "${IMAGE}" --tag "$(IMAGE)" . +ifdef IMAGE_EXTRA_TAG + docker tag "$(IMAGE)" "$(IMAGE):$(IMAGE_EXTRA_TAG)" +endif push: docker push "$(IMAGE)" +ifdef IMAGE_EXTRA_TAG + docker push "$(IMAGE):$(IMAGE_EXTRA_TAG)" +endif clean: if (docker inspect --type image "$(IMAGE)" >/dev/null 2>&1); then docker rmi "$(IMAGE)"; fi