On 02/14/2018 07:49 AM, Daniel Díaz Rodríguez wrote:
> 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
>>> 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
> 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
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.