diff make/openjdk_distro @ 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 c18cbe5936b8
children
line wrap: on
line diff