diff make/jprt.properties @ 17817:4abb719c5620

8038240: new WB API to get nmethod Reviewed-by: morris, kvn
author iignatyev
date Thu, 27 Mar 2014 11:17:26 +0400
parents 23262dd70c13
children 3ef5c627634a
line wrap: on
line diff