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