diff make/jprt.properties @ 9722:b5dd7e3c8c80

Bugfixes for the inlining phase and for -XX:+PrintInlining.
author Christian Haeubl <haeubl@ssw.jku.at>
date Thu, 16 May 2013 15:16:25 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff