Subject: [bug#35223] [PATCH] gnu: linux-libre: Set DEVPTS_MULTIPLE_INSTANCES only where needed.

From: Tobias Geerinckx-Rice <[email-masked]>
Date: Thu, 11 Apr 2019 14:43:56 +0200

Ludo',

Ludovic Courtès wrote:
> Tobias Geerinckx-Rice 
> <[email-masked]>
> skribis:
>
>> From: Tobias Geerinckx-Rice <[email-masked]>
>>
>> * gnu/packages/linux.scm (%default-extra-linux-options): Move 
>> obsolete
>> CONFIG_DEVPTS_MULTIPLE_INSTANCES option…
>> (linux-libre-4.4): …here.
>
> So “make config” was emitting a warning on kernels > 4.7, right?

Oh, maybe; no idea.

I was tweaking my old kustom (pf-)kernel to be Guix-ready and 
noticed that this option was missing.

> As long as things still work after this patch, go for it!

AFAICT: yes.

Thanks!

T G-R