michael/u-boot
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

CI: use mirror for gnulib dependency of grub

Browse Source 
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>
This commit is contained in:
Quentin Schulz
2025-11-27 14:29:27 +01:00
committed by Tom Rini
parent e0c7216171
commit 93316f1533
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/docker/Dockerfile
View File

@@ -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 \