[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#58008: [PATCH] gnu: linux: Fix the extra-version parameter in make-l
From: |
Stefan |
Subject: |
bug#58008: [PATCH] gnu: linux: Fix the extra-version parameter in make-linux-libre*. |
Date: |
Thu, 22 Sep 2022 18:50:52 +0200 |
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
Description: Binary data
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#58008: [PATCH] gnu: linux: Fix the extra-version parameter in make-linux-libre*.,
Stefan <=