review request (XS) - 7150454: add release jdk7u4 to jprt.properties

[Kelly O'Hair]

I thought that was the default.

-kto

On Mar 2, 2012, at 12:59 PM, Tom Rodriguez wrote:

> Looks good.
> 
> Has there been any discussion of adding jprt.sync.start=true to the jprt.properties file?  It would be nice to start allowing trivial merges again.
> 
> tom
> 
> On Mar 2, 2012, at 10:33 AM, John Coomes wrote:
> 
>> Hi,
>> 
>> I'd appreciate reviews of a small change to allow jprt to build
>> hotspot with '-release jdk7u4'.
>> 
>> 	http://cr.openjdk.java.net/~jcoomes/7150454-jprt-jdk7u4/
>> 
>> Tested with 'jprt submit -release jdk7u4'.
>> 
>> -John
>