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

[Tom Rodriguez]

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