mirror of
https://github.com/linuxboot/heads.git
synced 2024-12-18 20:47:55 +00:00
Use a better GNU mirror URL
The new URL automatically redirects to a nearby, current GNU mirror. Also, the fact that it's HTTPS helps with restrictive outbound firewall policies that disallow plaintext traffic (for example, using Qubes' firewall functionality).
This commit is contained in:
parent
760429601a
commit
b38e720440
@ -6,7 +6,7 @@
|
||||
make_version := 4.2
|
||||
make_dir := make-$(make_version)
|
||||
make_tar := make-$(make_version).tar.bz2
|
||||
make_url := http://gnu.mirror.constant.com/make/$(make_tar)
|
||||
make_url := https://ftpmirror.gnu.org/make/$(make_tar)
|
||||
make_hash := 4e5ce3b62fe5d75ff8db92b7f6df91e476d10c3aceebf1639796dc5bfece655f
|
||||
|
||||
# This is built for the local machine, not the target, so it doesn't have any
|
||||
|
Loading…
Reference in New Issue
Block a user