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

[Tim Bell]

Hi Erik:

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/

Looks good.

Tim