From a5c1e6fc81ef990c56305fe10deccf55373afd30 Mon Sep 17 00:00:00 2001 From: Felix Morgner Date: Thu, 7 May 2026 10:11:26 +0200 Subject: libstdc++: install python pretty printers --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 103b11b..44e3c6b 100644 --- a/Makefile +++ b/Makefile @@ -22,7 +22,7 @@ PLATFORM ?= x86-64 REGISTRY ?= registry.gitlab.ost.ch:45023 -IMAGE_BUILD ?= 2 +IMAGE_BUILD ?= 3 IMAGE_BASENAME = teachos/devcontainers IMAGE_NAME = $(REGISTRY)/$(IMAGE_BASENAME) -- cgit v1.2.3