summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@ost.ch>2026-05-07 10:11:26 +0200
committerFelix Morgner <felix.morgner@ost.ch>2026-05-07 10:12:48 +0200
commita5c1e6fc81ef990c56305fe10deccf55373afd30 (patch)
treeadd96eb7ded1bd373cc7cf684168500c812bcc0a /Makefile
parentc9ba42a4ed3e98bc7936e07e1653103bac611861 (diff)
downloadtoolchains-a5c1e6fc81ef990c56305fe10deccf55373afd30.tar.xz
toolchains-a5c1e6fc81ef990c56305fe10deccf55373afd30.zip
libstdc++: install python pretty printers
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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)