diff make/jprt.properties @ 1970:b675ff1ca7a3

7002129: Zero and Shark fixes, 3rd Summary: 6970683 and 6953144 introduced changes that need to be implemented for Zero and Shark. Reviewed-by: twisti Contributed-by: Gary Benson <gbenson@redhat.com>
author twisti
date Tue, 23 Nov 2010 04:33:42 -0800
parents 432d823638f7
children 0a8e0d4345b3 352765ed11a1
line wrap: on
line diff