diff make/jprt.properties @ 9323:712d583d0d21

Perform deopt-to-guard conversion at snippet installation time.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Fri, 26 Apr 2013 14:15:17 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff