Den Wed, 15 Feb 2023 10:39:17 +0100 skrev "Herbert J. Skuhra" <[email protected]>:
> On Wed, Feb 15, 2023 at 08:47:05AM +0100, Eivind Nicolay Evensen > wrote: > > I noticed after updating stable/13 around yesterday the below build > > breakage. At first glance it looks to me like this doesn't like > > nooptions INET6. > > > > Regards, Eivind [...] > > make: stopped in /usr/src > > The following commit was not merged from main: > > commit acdfbc6cbe0a8a976d446216be84994c8ee8d5c1 > Author: Mitchell Horne > Date: Mon May 30 17:47:32 2022 -0300 > > irdma: fix LINT-NOIP/NOINET/NOINET6 builds > > > git-cherry-pick seems to resolve the issue. > > -- > Herbert Thanks, applied to my local tree. -- Eivind Nicolay Evensen
