gbuild-to-ide incompatibility with make 4.0

[Peter Foley]

On Sat, Sep 27, 2014 at 3:10 PM, Michael Stahl <mstahl at redhat.com> wrote:
> On 26/09/14 17:30, Peter Foley wrote:
> for Windows, developers need to download GNU make anyway, and i don't
> think it's a problem if we require a Win32 GNU make >= 4.0... i don't
> have the time and inclination to support non-Win32 GNU make anyway :)
>
> but for the other platforms usually only GNU make 3.82 or even 3.81 (on
> Mac, iirc) is available on the system, so if we require >= 4.0 then that
> means another thing that has to be installed manually, which is probably
> not a good direction to go in...

Well, they only have to install it if they plan to run gbuild-to-ide,
regular builds won't care.
I'm don't think that's a common use-case, though I could be wrong.