diff make/jprt.properties @ 1937:4853c5cad3aa

More deoptmization tracing.
author Thomas Wuerthinger <wuerthinger@ssw.jku.at>
date Thu, 23 Dec 2010 22:14:31 +0100
parents 432d823638f7
children 0a8e0d4345b3 352765ed11a1
line wrap: on
line diff