mirror of
https://github.com/linuxboot/heads.git
synced 2025-02-25 18:51:27 +00:00
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.