diff make/jprt.gmk @ 6670:81ad987772f6

Cleanup GraalOption : removed defunct options Use GraalOption.InstanceOfMinHintHitProbability and InstanceOfMaxHints in InstanceOfSnippets instead of their Checkcast version
author Gilles Duboscq <duboscq@ssw.jku.at>
date Wed, 07 Nov 2012 12:10:33 +0100
parents 109d1d265924
children fe392af93c23
line wrap: on
line diff