New build system

[Ian Lynagh]

On Wed, Jan 28, 2009 at 09:21:41PM +0100, Thorkil Naur wrote:
> 
> I looked more closely and the make problem seems to be 
> http://savannah.gnu.org/bugs/index.php?1516:

Thanks for tracking this down!

> The proposed workaround seems rather inconvenient.

Yes, agreed. I've added a check to configure, so it will look to see if
it can find make 3.80. If it can then it warns you (at the end of the
configure output, so hopefully you'll see it), but doesn't fail.


Thanks
Ian