RFR: JDK-8073231 Add convenient way of adding custom configure options to jprt

[Erik Joelsson]

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 tests
>
> Bug: https://bugs.openjdk.java.net/browse/JDK-8073231
>
> Webrev: http://cr.openjdk.java.net/~erikj/8073231/webrev.00/
>