summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 47bec20..240844c 100644
--- a/Makefile
+++ b/Makefile
@@ -16,7 +16,7 @@ MPC_VERSION ?= 1.3.1
TARGET ?= x86_64-pc-elf
PLATFORM ?= x86-64
-IMAGE_BUILD ?= 3
+IMAGE_BUILD ?= 4
IMAGE_NAME = "registry.gitlab.ost.ch:45023/teachos/devcontainers"
IMAGE_TAG = "$(PLATFORM):$(GCC_VERSION)-$(IMAGE_BUILD)"