[PATCH 0/2] build: move copy of linux headers to private directory

[Michael Richardson]

Thomas Haller <thaller at redhat.com> wrote:
    > How about this?

    > Thomas Haller (2):
    > build/trivial: prettify makefiles by wrapping long lines
    > build: move copy of linux headers to private directory

That's what I had in mind.