Upgrading to make 3.81 - heads up

[Kelly O'Hair]

GNU make 3.81 - heads up

If the GNU make you are using is not 3.81 (run: make -version)
you may want to upgrade now, I placed various OS builds of
GNU make 3.81 at:

    http://cr.openjdk.java.net/~ohair/MakeBinaries/

But I would advise people to try and get a GNU make 3.81 directly
from your OS distribution if at all possible.
Windows/CYGWIN is special, you need a GNU make 3.81 that understands
the drive letter pathnames. I will be adding a sanity check for that.

If anyone has any problems getting or using GNU make 3.81, please
let me know.

When the changes that depend on make 3.81 get integrated, use of older GNU
make tools will fail quickly with a short message, something like:
    common/Defs.gmk:35: *** ERROR: GNU make version 3.81 is required.  Stop.

-kto