On 02/14/2018 07:49 AM, Daniel Díaz Rodríguez wrote: > Hello! > > > On 13 February 2018 at 20:03, Darren Hart <dvh...@infradead.org> wrote: >> On Tue, Feb 13, 2018 at 06:45:54PM -0700, Shuah Khan wrote: > [...] >>> My understanding is that this problem is seen with make versions prior to >>> 4.x. >>> This specific problem is seen with make version 3.81 >>> I will let Daniel Díaz share details on his environment. >> >> OK, thanks Shuah. I think this would be important to capture in the commit >> message.
Thanks. > > That's correct -- fails with GNU Make 3.80, 3.81; works with GNU Make > 3.82 and the 4.x series. Shuah, if you'd like me to resubmit let me > know. > Thanks you both. I will update the commit log with the details on why this fix is needed. No need to send an updated patch. thanks, -- Shuah