diff make/hotspot_version @ 1780:432d823638f7

6985022: update make/jprt.properties for new jdk7 tools Reviewed-by: ohair, kvn
author jcoomes
date Wed, 15 Sep 2010 10:39:13 -0700
parents 93193e632121
children 570870354f86
line wrap: on
line diff