Re: [PATCH 1/4] Document new hard requirement on GNU make

Eli Zaretskii
2016-11-17T16:10:31Z

> Date: Thu, 17 Nov 2016 08:38:47 -0500
> From: Simon Marchi <simon.marchi@polymtl.ca>
> Cc: Eli Zaretskii <eliz@gnu.org>, gdb-patches@sourceware.org
>
> Eli, I would update the NEWS entry to:
>
> * Building GDB and GDBserver now requires GNU make >= 3.81.
>
> It is no longer supported to build GDB or GDBserver with another
> implementation of the make program or en earlier GNU make version.
>
> Does it look good to you?

Yes, thanks.

> Where else should that dependency be documented?

On the wiki, perhaps?