mirror of
https://github.com/linuxboot/heads.git
synced 2025-03-02 20:08:37 +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)