summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index f51b8b1..460725e 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ MPC_VERSION ?= 1.2.1
TARGET ?= x86_64-pc-elf
PLATFORM ?= x86-64
-IMAGE_BUILD ?= 1
+IMAGE_BUILD ?= 2
all:
podman pull docker.io/ubuntu:latest
@@ -36,3 +36,4 @@ all:
--build-arg MPC_VERSION=$(MPC_VERSION) \
--tag registry.gitlab.ost.ch:45023/teachos/devcontainers/$(PLATFORM):$(GCC_VERSION)-$(IMAGE_BUILD) \
.
+ podman tag registry.gitlab.ost.ch:45023/teachos/devcontainers/$(PLATFORM):$(GCC_VERSION)-$(IMAGE_BUILD) registry.gitlab.ost.ch:45023/teachos/devcontainers/$(PLATFORM):latest