From 93316f15339d6b696f58a0ef99b057bd45b76c2b Mon Sep 17 00:00:00 2001 From: Quentin Schulz Date: Thu, 27 Nov 2025 14:29:27 +0100 Subject: [PATCH] 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 --- tools/docker/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 \ -- 2.47.3