On 28/08/14 02:42, David Holland wrote: > On Wed, Aug 27, 2014 at 04:00:33PM +0100, Richard Earnshaw wrote: > > So upgrade to GNU make-4.0, put it in gpl3. Problem solved. > > Or fix gcc's build system and delete gmake :-) > Which pre-supposes that gcc's build system is broken. That's a big assumption.