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 /scripts/checkpatch.pl | |
| 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 'scripts/checkpatch.pl')
0 files changed, 0 insertions, 0 deletions