Re: [PATCH 1/7] gdb: update README about the GNU make requirement

[Eli Zaretskii <eliz@gnu.org>]

> From: Simon Marchi <simon.marchi@efficios.com>
> Cc: Simon Marchi <simon.marchi@efficios.com>
> Date: Mon, 31 Aug 2026 14:51:40 -0400
> 
> The README still suggests that GDB can be built with a make other than GNU
> make, which is not the case since 2016 (f2ff9acd32b4 "Document new hard
> requirement on GNU make").
> 
> The manual already lists GNU make in the requirements:
> 
>     GNU make
>         GDB's build system relies on features only found in the GNU make
>         program.  Other variants of make will not work.
> 
> and the minimum version is documented in gdb/NEWS:
> 
>     * Building GDB and GDBserver now requires GNU make >= 3.82.
> 
> Bring the README in line with that.
> 
>  - Mention the GNU make requirement, including the minimum version, near
>    where we also state the C++17 compiler requirement.
> 
>  - Drop the "if your make program handles the VPATH feature correctly"
>    part from the "Compiling GDB in another directory" section.
> 
>  - Drop the warning about --srcdir requiring GNU make.
> 
>  - Drop the "If you use GNU make" conditional from the paragraph about
>    running the testsuite in parallel.
> 
> Change-Id: I5c0387d977ab87069c01c0249c51b2f30318a0c7
> ---
>  gdb/README | 15 +++++++--------
>  1 file changed, 7 insertions(+), 8 deletions(-)

Thanks, this is okay.

Reviewed-By: Eli Zaretskii <eliz@gnu.org>