diff make/jprt.properties @ 3013:5ee0f57bb18c

added message to verification error, InliningPhase uses TTY
author Lukas Stadler <lukas.stadler@jku.at>
date Fri, 17 Jun 2011 14:58:03 +0200
parents f7702f8c0e25
children 03b943e6c025
line wrap: on
line diff