]> git.ipfire.org Git - thirdparty/u-boot.git/commit
projects / thirdparty / u-boot.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e0c7216) | patch
CI: use mirror for gnulib dependency of grub
authorQuentin Schulz <quentin.schulz@cherry.de>
Thu, 27 Nov 2025 13:29:27 +0000 (14:29 +0100)
committerTom Rini <trini@konsulko.com>
Sun, 30 Nov 2025 19:45:56 +0000 (13:45 -0600)
commit93316f15339d6b696f58a0ef99b057bd45b76c2b
treef3cdefea31ac57a45a330d6b3b1b3334fd0c5a17tree
parente0c72161710e3df45ed41302643b20952528eb4dcommit | 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 <quentin.schulz@cherry.de>
tools/docker/Dockerfile diff | blob | blame | history
"Das U-Boot" Source Tree