Gentoo Archives: gentoo-dev

From: Mike Pagano <mpagano@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] [PATCH 1/1] linux-info.eclass: Add /proc/config.gz as a valid src of CONFIG_* settings
Date: Sun, 15 Jan 2023 20:22:24
Message-Id: 817addad-dfa2-df4f-9ccd-8a5d7104ddb1@gentoo.org
In Reply to: Re: [gentoo-dev] [PATCH 1/1] linux-info.eclass: Add /proc/config.gz as a valid src of CONFIG_* settings by Mike Gilbert
1 On 1/15/23 15:16, Mike Gilbert wrote:
2 > On Sun, Jan 15, 2023 at 12:40 PM Mike Pagano <mpagano@g.o> wrote:
3 >>
4 >> In the event that the linux src tree does not have
5 >> a valid .config, check for /proc/config.gz
6 >>
7 >> Bug: https://bugs.gentoo.org/890720
8 >
9 > I think this is the wrong place to "fix" bug 890720.
10 >
11 > We already have a linux_config_exists function. This change would make
12 > that function redundant and removes the ability to check for only a
13 > valid .config in the kernel build directory.
14 >
15 > I think the check_config_extra function should be updated to not call
16 > require_configured_kernel.
17 >
18
19 Yeah, I guess that does make sense. The CONFIGs are optional, why look for
20 any config file ?
21
22 --
23 Mike Pagano
24 Gentoo Developer - Kernel Project
25 E-Mail : mpagano@g.o
26 GnuPG FP : 52CC A0B0 F631 0B17 0142 F83F 92A6 DBEC 81F2 B137
27 Public Key : http://pgp.mit.edu/pks/lookup?search=0x92A6DBEC81F2B137&op=index