diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -7,6 +7,8 @@ NEWLIB_VERSION ?= 4.5.0.20241231 TARGET ?= x86_64-pc-elf PLATFORM ?= x86-64 +IMAGE_BUILD ?= 2 + all: podman pull docker.io/archlinux:latest podman build \ @@ -16,5 +18,5 @@ all: --build-arg GDB_VERSION=$(GDB_VERSION) \ --build-arg NEWLIB_VERSION=$(NEWLIB_VERSION) \ --build-arg TARGET=$(TARGET) \ - --tag registry.gitlab.ost.ch:45023/teachos/devcontainers/$(PLATFORM):$(GCC_VERSION) \ + --tag registry.gitlab.ost.ch:45023/teachos/devcontainers/$(PLATFORM):$(GCC_VERSION)-$(IMAGE_BUILD) \ . |
