diff make/jprt.properties @ 17679:904a9d67dc28

8035436: new hotspot build - hs25.20-b05 Reviewed-by: jcoomes
author amurillo
date Thu, 20 Feb 2014 17:20:09 -0800
parents 384c92148c68
children 50fdb38839eb
line wrap: on
line diff