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

[David Holmes]

On 17/02/2015 6:39 PM, 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/

So this is for configure args that apply to all platforms and build 
flavours. Might you want more specific ones as well?

But on that note can't you just add to the existing 
jprt.<platform>.build.configure.args and the 
jprt.<flavor>.build.configure.args ?

David