summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2025-10-28 14:48:56 +0100
committerFelix Morgner <felix.morgner@ost.ch>2025-10-28 14:48:56 +0100
commitfea1be6639aa857ca92d0215f87f816c565f9a2a (patch)
tree8ffe42494106187fc6360db95c8cb9acbe7ff40c
parent63fe5dbb7b662af646440f30f50947338aa7bbef (diff)
downloadteachos-toolchain-15.2.0-2.tar.xz
teachos-toolchain-15.2.0-2.zip
toolchain: update to latest release15.2.0-2
-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