diff make/jprt.properties @ 9016:60b9fe7034e6

Allow lowering of DeoptimizeNode
author Christian Wimmer <christian.wimmer@oracle.com>
date Thu, 11 Apr 2013 14:24:09 -0700
parents 3be6a41ad358
children f36e073d56a4
line wrap: on
line diff