diff --git a/base/Dockerfile b/base/Dockerfile index d4f6937..376051a 100644 --- a/base/Dockerfile +++ b/base/Dockerfile @@ -11,7 +11,7 @@ ENV \ SHELL ["/bin/bash", "-o", "pipefail", "-c"] # Install base system -ARG PYTHON_VERSION="v3.12.7" +ARG PYTHON_VERSION="v3.13.0" ARG PYTHON_PIP_VERSION="24.2" ARG PYTHON_SETUPTOOLS_VERSION="75.1.0" # hadolint ignore=DL3003,DL4006,SC2155 @@ -78,6 +78,7 @@ RUN \ && make -j "$(nproc)" \ EXTRA_CFLAGS="-DTHREAD_STACK_SIZE=0x100000" \ LDFLAGS="-Wl,--strip-all" \ + PROFILE_TASK="" \ && make install \ \ && find /usr/local \