On 11/04/11 13:59, "Paweł Hajdan, Jr." wrote:
check_extra_config requires a configured kernel
(/usr/src/linux/.config), while I think it should also be satisfied by
/proc/config.gz (i.e. just a way to verify the config, not necessarily
kernel built locally).
The running kernel is really irrelevant for those of us that build binpkgs.
/usr/src/linux is "more correct" in the case of binpkgs and most upgrade
scenarios where you don't reboot for a new kernel immediately.
It's hard to find a solution that is correct and works for everyone - at
least we've mostly got people to stop dying and only warn on a mismatch
there.
