From c832095038c32b21cffcf210052a1841c8efe728 Mon Sep 17 00:00:00 2001
From: Felix Morgner <felix.morgner@ost.ch>
Date: Mon, 14 Jul 2025 12:40:09 +0200
Subject: build: add platform tag

---
 Makefile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1593daf..606f83c 100644
--- a/Makefile
+++ b/Makefile
@@ -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) \
+		.
-- 
cgit v1.2.3