mirror of
https://github.com/linuxboot/heads.git
synced 2025-04-24 04:55:49 +00:00
Global Makefile is the most effective modifier of builds. As soon as the global Makefile change, so should not be reused caches having measured a different Makefile