hg: jdk9/dev: 8140591: Add configure argument specifying make executable in JPRT

[erik.joelsson at oracle.com]

Changeset: d7c06f4e28b2
Author:    erikj
Date:      2015-10-29 17:14 +0100
URL:       http://hg.openjdk.java.net/jdk9/dev/rev/d7c06f4e28b2

8140591: Add configure argument specifying make executable in JPRT
Reviewed-by: ihse, tbell

! common/autoconf/basics.m4
! common/autoconf/generated-configure.sh
! make/jprt.properties