From: Quentin Schulz <[email protected]>

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 <[email protected]>
---
 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 [email protected] && \
-       ./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.52.0

Reply via email to