This is the mail archive of the gdb-patches@sourceware.org mailing list for the GDB project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


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


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]