hg: jdk9/sandbox: 8073231: Add convenient way of adding custom configure options to jprt
chris.hegarty at oracle.com
chris.hegarty at oracle.com
Wed Feb 25 10:05:08 UTC 2015
Changeset: 1e62ebf45f79
Author: ihse
Date: 2015-02-25 11:04 +0100
URL: http://hg.openjdk.java.net/jdk9/sandbox/rev/1e62ebf45f79
8073231: Add convenient way of adding custom configure options to jprt
Reviewed-by: erikj, tbell
Contributed-by: ingemar.aberg at oracle.com
! make/jprt.properties
More information about the jdk9-sandbox-changes
mailing list