hg: jdk9/dev: 8073231: Add convenient way of adding custom configure options to jprt

magnus.ihse.bursie at oracle.com magnus.ihse.bursie at oracle.com
Wed Feb 25 10:01:44 UTC 2015


Changeset: 1e62ebf45f79
Author:    ihse
Date:      2015-02-25 11:04 +0100
URL:       http://hg.openjdk.java.net/jdk9/dev/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-dev-changes mailing list