diff make/jprt.properties @ 10299:f49e0508a38a

4965252: JvmtiExport::post_raw_field_modification jni ref handling is odd Reviewed-by: coleenp, sspitsyn
author rbackman
date Wed, 15 May 2013 11:30:54 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff