dasharo/heads
0
0
Fork 0
mirror of https://github.com/Dasharo/heads.git synced 2026-06-13 10:16:29 -07:00
Code Issues Packages Projects Releases Wiki Activity
1,045 Commits 51 Branches 36 Tags
ci-fix
Commit Graph
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