hg: jdk9/dev: 8029797: Let jprt run configure when building

[erik.joelsson at oracle.com]

Changeset: c3c75eda6606
Author:    erikj
Date:      2013-12-17 11:09 +0100
URL:       http://hg.openjdk.java.net/jdk9/dev/rev/c3c75eda6606

8029797: Let jprt run configure when building
Reviewed-by: tbell

! Makefile
! make/Jprt.gmk
! make/Main.gmk
! make/MakeHelpers.gmk
! make/jprt.properties