I pushed this patch.


> On 18 Jul 2019, at 11:57, Alan Hayward <Alan.Hayward@arm.com> wrote:
> 
> 
> 
>> On 18 Jul 2019, at 07:17, Eli Zaretskii <eliz@gnu.org> wrote:
>> 
>>> From: Alan Hayward <Alan.Hayward@arm.com>
>>> CC: nd <nd@arm.com>, Alan Hayward <Alan.Hayward@arm.com>
>>> Date: Mon, 15 Jul 2019 10:11:29 +0000
>>> 
>>> Gdbserver has failed to build with GNU make 3.81 since commit 08f10e02be.
>> 
>> Which feature of Make 3.82 and later is required to successfully
>> build gdbserver?
>> 
> 
> It’s not a specific feature in 3.82 that is required.
> 
> It looks like it is a bug in 3.81. The GDB makefile isn’t doing anything special
> and everything works using 3.82 upwards.
> 
> Rewriting the makefile to work around the issue is probably going to be a little
> messy.
> 
> 
>>> diff --git a/gdb/NEWS b/gdb/NEWS
>>> index 4e479bf738..3a92b24e44 100644
>>> --- a/gdb/NEWS
>>> +++ b/gdb/NEWS
>>> @@ -251,6 +251,11 @@ maint show test-options-completion-result
>>>  GDB) in the output directory for each test script.  Multiple invocations
>>>  are appended with .1, .2, .3 etc.
>>> 
>>> +* Building GDB and GDBserver now requires GNU make >= 3.82.
>>> +
>>> +  Using another implementation of the make program or an earlier version of
>>> +  GNU make to build GDB or GDBserver is not supported.
>>> +
>> 
>> The test is OK, thanks.
> 
> Thanks!
> 
> Alan.

�&���j�!z�޶��מ��b�֫rn��r�