mirror of
https://github.com/linuxboot/heads.git
synced 2025-04-06 19:06:49 +00:00
rename TARGET to BOARD (fix #55) use .INTERMEDIATE trick to avoid building multiple times (fix #52) Don't touch build/*/.config if we don't have to (fix #51)