From fea1be6639aa857ca92d0215f87f816c565f9a2a Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Tue, 28 Oct 2025 14:48:56 +0100 Subject: toolchain: update to latest release --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit v1.2.3