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 :-) -- David A. Holland dholland%netbsd.org@localhost