diff make/jprt.properties @ 5339:e8f80481326d

use PiNodes instead of CheckCastNodes to pin inlining receivers, remove emitCode flag
author Lukas Stadler <lukas.stadler@jku.at>
date Wed, 02 May 2012 14:55:51 +0200
parents a9831b955a0a
children 2d503de963b3
line wrap: on
line diff