diff options
| author | Quentin Schulz <[email protected]> | 2025-11-27 14:29:27 +0100 |
|---|---|---|
| committer | Tom Rini <[email protected]> | 2025-11-30 13:45:56 -0600 |
| commit | 93316f15339d6b696f58a0ef99b057bd45b76c2b (patch) | |
| tree | f3cdefea31ac57a45a330d6b3b1b3334fd0c5a17 /tools/docker/Dockerfile | |
| parent | e0c72161710e3df45ed41302643b20952528eb4d (diff) | |
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 <[email protected]>
Diffstat (limited to 'tools/docker/Dockerfile')
| -rw-r--r-- | tools/docker/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
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 \ |