heads

ExternalVendorCode/heads

Fork 0

mirror of https://github.com/linuxboot/heads.git synced 2025-02-07 11:30:11 +00:00

Commit Graph

Author	SHA1	Message	Date
AJ Jordan	b38e720440	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).	2018-12-13 01:32:37 -05:00
Trammell Hudson	24e54a65f6	Build GNU make-4.2 if the system make is the wrong version (issue #88 ). Change all of the builds to use $(MAKE) instead of the /usr/bin/make. Download and build GNU make-4.2 if the wrong version is installed on the system. Re-invoke build/make-4.2/make with the target that was passed in once the correct make has been built.	2017-01-27 18:00:50 -05:00

Author

SHA1

Message

Date

AJ Jordan

b38e720440

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).

2018-12-13 01:32:37 -05:00

Trammell Hudson

24e54a65f6

Build GNU make-4.2 if the system make is the wrong version (issue #88 ).

Change all of the builds to use $(MAKE) instead of the /usr/bin/make.

Download and build GNU make-4.2 if the wrong version is installed
on the system.

Re-invoke build/make-4.2/make with the target that was passed in once
the correct make has been built.

2017-01-27 18:00:50 -05:00

2 Commits