mirror of
https://github.com/linuxboot/heads.git
synced 2025-03-01 11:41:36 +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