diff --git a/unix/linux/Dockerfile b/unix/linux/Dockerfile index 8945f42f..24114d54 100644 --- a/unix/linux/Dockerfile +++ b/unix/linux/Dockerfile @@ -15,7 +15,6 @@ RUN apt-get update && apt-get install -y --no-install-recommends \ # Get the git sources. If not cached, this takes O(5 minutes). WORKDIR /git RUN git config --global advice.detachedHead false - # Linux Kernel: Released 12 May 2024 RUN git clone --branch v6.9 --depth 1 https://kernel.googlesource.com/pub/scm/linux/kernel/git/torvalds/linux # GNU C library: Released 31 Jan 2024