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 <quentin.schulz@cherry.de>

diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile
index 402901c2d8231d93372a000d4595bc66ce6c9985..440a3c392931316447a9cb4b8b0bcac1388bedc2 100644 (file)
--- 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 \