diff make/jprt.properties @ 1936:8d88c9ac9247

Correct deopt handler entry. New flag -XX:+TraceSignals. More detailed deopt printing.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Thu, 23 Dec 2010 18:13:28 +0100
parents 432d823638f7
children 0a8e0d4345b3 352765ed11a1
line wrap: on
line diff