Review Request: 8001895: build-infra: Make JDK_BUILD_NUMBER and MILESTONE customizable

[David Holmes]

Erik,

On 30/12/2012 9:55 PM, Erik Joelsson wrote:
> I've added configure options for milestone and build number so that they
> can be customized.
>
> http://cr.openjdk.java.net/~erikj/8001895/webrev.root.01/

Can we still override with make time variable setting?

Will this be going straight into jdk8/build? I need these changes to 
merge in with the profiles work asap.

Thanks,
David

> /Erik