GNU bug report logs - #58008
[PATCH] gnu: linux: Fix the extra-version parameter in make-linux-libre*.

Previous Next

Package: guix;

Reported by: Stefan <stefan-guix <at> vodafonemail.de>

Date: Thu, 22 Sep 2022 16:52:02 UTC

Severity: normal

Tags: patch

Done: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Stefan <stefan-guix <at> vodafonemail.de>
To: 58008 <at> debbugs.gnu.org, leo <at> famulari.name
Subject: bug#58008: [PATCH] gnu: linux: Fix the extra-version parameter in make-linux-libre*.
Date: Thu, 22 Sep 2022 18:50:52 +0200

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

I’m addressing you directly because of the entry in etc/teams.scm.

I found and fixed a bug in make-linux-libre*. The split of the phase 'configure into a separate 'set-environment will be used by another patch. 

Actually this is part of a patch series in 48314. But it is an independent fix, which can reduce the size of that other ticket.

If this patch is accepted, I may send another part of that patch series separately.


Bye

Stefan


[01-gnu-linux-fix-extra-version.patch (application/octet-stream, attachment)]
This bug report was last modified 2 years and 72 days ago.

Previous Next

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