make-bootstrap: Adjust copied linux headers.
authorEfraim Flashner <efraim@flashner.co.il>
Tue, 5 Nov 2019 12:55:05 +0000 (14:55 +0200)
committerEfraim Flashner <efraim@flashner.co.il>
Fri, 15 Nov 2019 11:00:23 +0000 (13:00 +0200)
commitcda79c7cc938ae3d9e77d09e8ebd7cbdf7f4d20c
treee332dd13f4d56e2c0511de4e18dbd99e7548bb96
parentb02a9523b394a7683692c50ddf9c945d269881b7
make-bootstrap: Adjust copied linux headers.

* guix/build/make-bootstrap.scm (copy-linux-headers): Remove header
file 'a.out.h' is no longer part of the linux kernel headers.
guix/build/make-bootstrap.scm