diff make/jprt.properties @ 14995:4976f469670e

remove unnecessary proxies during loop peeling
author Lukas Stadler <lukas.stadler@oracle.com>
date Mon, 07 Apr 2014 10:35:16 +0200
parents f0221ff14605
children 3ef5c627634a
line wrap: on
line diff