diff options
| -rw-r--r-- | Makefile | 2 | ||||
| -rwxr-xr-x | scripts/0500-build-target-gcc.sh | 2 |
2 files changed, 3 insertions, 1 deletions
@@ -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 |
