Require GNU make?

[Ralf Corsepius]

On 05/29/2014 02:54 PM, Richard Earnshaw wrote:

> Not directly relevant, but I put a feature into the newlib build earlier
> this year that relied on a GNU make extension.  There were no objections
> at the time I did that.
Correct me if I'm wrong, but IIRC, GCC already requires gmake.
As newlib is commonly used with GCC, probably everybody who uses newlib 
also uses gmake :-)

Ralf