[PATCH] Require GNU make 3.82

[Eli Zaretskii]

> 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?

> 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.