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

Eli Zaretskii
2016-11-17T03:35:14Z

> Date: Wed, 16 Nov 2016 17:04:59 -0500
> From: Simon Marchi <simon.marchi@polymtl.ca>
> Cc: gdb-patches@sourceware.org
>
> > 3.82 shouldn't be a problem, I think.
>
> Oops, I said that without even checking the version I have on my system.
> Ubuntu 14.04, strangely, has make 3.81. Apparently that was because of
> a critical bug on Debian with 3.82, which stayed open for a long time,
> preventing the upgrade. Debian and its derivatives, including Ubuntu,
> were stuck with that for a long time.
>
> Refs:
>
> http://stackoverflow.com/questions/31912233/how-to-update-make-3-81-linux
> https://lwn.net/Articles/569920/
>
> I don't think it's worth complicating the lives of those users just to
> get the benefit of the behaviour change I mentioned.
>
> So I'm back at having no idea what version we should require.

I guess that'd be 3.81, then.