Ingemar: Looks good to me as well.
/Tim
Looks good to me. /Erik On 2015-02-17 09:39, Ingemar Aberg wrote:A convenient way of adding configure options when building JDK with jprt is needed, for example to build colocated testsBug: https://bugs.openjdk.java.net/browse/JDK-8073231 Webrev: http://cr.openjdk.java.net/~erikj/8073231/webrev.00/