4 Commits

Author	SHA1	Message	Date
tlaurion	64c830e652	Merge branch 'master' into make-4.2.1	2019-04-22 21:53:43 -04:00
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	292a8bec81	patch for __alloca missing on ubuntu 18.04 (#352)	2018-09-18 06:33:15 -04: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