diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -5,6 +5,7 @@ GCC_VERSION ?= 15.1.0 GDB_VERSION ?= 16.3 NEWLIB_VERSION ?= 4.5.0.20241231 TARGET ?= x86_64-pc-elf +PLATFORM ?= x86-64 all: podman pull docker.io/archlinux:latest @@ -17,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:$(GCC_VERSION) \ - .
\ No newline at end of file + --tag registry.gitlab.ost.ch:45023/teachos/devcontainers/$(PLATFORM):$(GCC_VERSION) \ + . |