GNU bug report logs - #38069
[PATCH]: Adjust make-bootstrap linux headers

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#38194: closed ([PATCH] make-bootstrap: Adjust copied linux
 headers.)
Date: Fri, 15 Nov 2019 11:02:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 15 Nov 2019 13:01:14 +0200
with message-id <20191115110114.GD969 <at> E5400>
and subject line Re: [bug#38069] [PATCH]: Adjust make-bootstrap linux headers
has caused the debbugs.gnu.org bug report #38069,
regarding [PATCH] make-bootstrap: Adjust copied linux headers.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
38069: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=38069
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Efraim Flashner <efraim <at> flashner.co.il>
To: guix-patches <at> gnu.org
Cc: Efraim Flashner <efraim <at> flashner.co.il>
Subject: [PATCH] make-bootstrap: Adjust copied linux headers.
Date: Wed, 13 Nov 2019 10:39:28 +0200

* 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

[Message part 3 (message/rfc822, inline)]

From: Efraim Flashner <efraim <at> flashner.co.il>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 38069-done <at> debbugs.gnu.org
Subject: Re: [bug#38069] [PATCH]: Adjust make-bootstrap linux headers
Date: Fri, 15 Nov 2019 13:01:14 +0200

[Message part 4 (text/plain, inline)]

Ok. Patch pushed


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

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.