hg: jdk9/dev: 8072023: Investigate and upgrade the minimum supported gnumake for JDK 9, from 3.81 to 4.0

[erik.joelsson at oracle.com]

Changeset: db1867b7c4bb
Author:    erikj
Date:      2015-04-17 10:43 +0200
URL:       http://hg.openjdk.java.net/jdk9/dev/rev/db1867b7c4bb

8072023: Investigate and upgrade the minimum supported gnumake for JDK 9, from 3.81 to 4.0
Reviewed-by: ihse, tbell, katleman

! README-builds.html
! common/autoconf/basics.m4
! common/autoconf/generated-configure.sh