comparison make/jprt.properties @ 8066:b5e3ec9c69fa

8007779: os::die() on solaris should generate core file Reviewed-by: dholmes, rbackman
author sla
date Mon, 18 Feb 2013 12:49:53 +0100
parents 3958f0acde31
children 3be6a41ad358
comparison
equal deleted inserted replaced
8065:f82bcc429e8c 8066:b5e3ec9c69fa