Should GNU make 3.81 be required?

[Mark Reinhold]

> Date: Tue, 15 Sep 2009 10:44:08 -0700
> From: joe.darcy at sun.com

> For as long as I remember, we've used make 3.78.*.  I assume the most
> problematic platform to upgrade is windows.  However, if there are significant
> benefits build time benefits, I think upgrading the make version is justified.

I completely agree.

It's not like 3.81 is new or anything.  It was released in 2006.

- Mark