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

[Kelly O'Hair]

Looks good.

-kto

On Dec 30, 2012, at 3:55 AM, 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/
> 
> /Erik