From: Quentin Schulz Date: Thu, 27 Nov 2025 13:29:27 +0000 (+0100) Subject: CI: use mirror for gnulib dependency of grub X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=93316f15339d6b696f58a0ef99b057bd45b76c2b;p=thirdparty%2Fu-boot.git CI: use mirror for gnulib dependency of grub grub bootstrap script downloads gnulib from a non-mirror URL and thus is unreliable. One can specify the URL to fetch from with GNULIB_URL environment variable, so let's make this variable point at a mirror URL. Signed-off-by: Quentin Schulz --- diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index 402901c2d82..440a3c39293 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile @@ -153,7 +153,7 @@ RUN git clone https://https.git.savannah.gnu.org/git/grub.git /tmp/grub && \ git checkout grub-2.12 && \ git config --global user.name "GitLab CI Runner" && \ git config --global user.email trini@konsulko.com && \ - ./bootstrap && \ + GNULIB_URL=https://https.git.savannah.gnu.org/git/gnulib.git ./bootstrap && \ mkdir -p /opt/grub && \ ./configure --target=aarch64 --with-platform=efi \ CC=gcc \