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