Subject: bug#38194: closed (Re: [bug#38069] [PATCH]: Adjust make-bootstrap linux headers)

From: [email-masked] (GNU bug Tracking System)
Date: Fri, 15 Nov 2019 11:02:03 +0000

Your bug report

#38069: [PATCH] make-bootstrap: Adjust copied linux headers.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
38069: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38069
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#38069] [PATCH]: Adjust make-bootstrap linux headers
From: Efraim Flashner <[email-masked]>
To: Ludovic Courtès <[email-masked]>
Cc: [email-masked]
Date: Fri, 15 Nov 2019 13:01:14 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Ok. Patch pushed

-- 
Efraim Flashner   <[email-masked]>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

Subject: [PATCH] make-bootstrap: Adjust copied linux headers.
From: Efraim Flashner <[email-masked]>
To: [email-masked]
Cc: Efraim Flashner <[email-masked]>
Date: Wed, 13 Nov 2019 10:39:28 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

* 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 | 1 -
 1 file changed, 1 deletion(-)

diff --git a/guix/build/make-bootstrap.scm b/guix/build/make-bootstrap.scm
index e5ef1d6d2b..0d29338ce3 100644
--- a/guix/build/make-bootstrap.scm
+++ b/guix/build/make-bootstrap.scm
@@ -47,7 +47,6 @@ bootstrap libc."
                 (install-file (pk 'src (string-append kernel-headers "/include/linux/" file))
                               (pk 'dest (string-append incdir "/linux"))))
               '(
-                "a.out.h"               ; for 2.2.5
                 "atalk.h"               ; for 2.2.5
                 "errno.h"
                 "falloc.h"
-- 
2.24.0