mirror of
https://github.com/linuxboot/heads.git
synced 2025-01-31 00:24:17 +00:00
9f75fa2362
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