summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
-rwxr-xr-xscripts/0500-build-target-gcc.sh2
2 files changed, 3 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)
diff --git a/scripts/0500-build-target-gcc.sh b/scripts/0500-build-target-gcc.sh
index 47249f9..12d2641 100755
--- a/scripts/0500-build-target-gcc.sh
+++ b/scripts/0500-build-target-gcc.sh
@@ -32,3 +32,5 @@ for COMPONENT in target-libgcc target-libstdc++-v3; do
make -j$(nproc) all-$COMPONENT
make install-$COMPONENT
done
+
+make -C $TARGET/libstdc++-v3/python install