Gentoo Archives: gentoo-dev

From: Patrick Lauer <patrick@g.o>
To: gentoo-dev@l.g.o
Subject: Re: [gentoo-dev] linux-info.eclass: check_extra_config requires a configured kernel
Date: Fri, 04 Nov 2011 13:24:07
Message-Id: 4EB3E766.7030306@gentoo.org
In Reply to: [gentoo-dev] linux-info.eclass: check_extra_config requires a configured kernel by "Paweł Hajdan
1 On 11/04/11 13:59, "Paweł Hajdan, Jr." wrote:
2 > check_extra_config requires a configured kernel
3 > (/usr/src/linux/.config), while I think it should also be satisfied by
4 > /proc/config.gz (i.e. just a way to verify the config, not necessarily
5 > kernel built locally).
6 The running kernel is really irrelevant for those of us that build binpkgs.
7 /usr/src/linux is "more correct" in the case of binpkgs and most upgrade
8 scenarios where you don't reboot for a new kernel immediately.
9
10 It's hard to find a solution that is correct and works for everyone - at
11 least we've mostly got people to stop dying and only warn on a mismatch
12 there.

Replies