Looks good to me. Thanks, David
On 22/01/2013 7:13 PM, Erik Joelsson wrote:
In JDK-8001895, MILESTONE and JDK_BUILD_NUMBER were made customizable. But by mistake, JDK_BUILD_NUMBER could get picked up from the environment while MILESTONE couldn't. They should behave the same and at this time, listening to the environment is needed. http://cr.openjdk.java.net/~erikj/8006658/webrev.root.01/ /Erik