diff agent/make/jdbproc64.sh @ 4923:a9831b955a0a

7069991: Setup make/jprt.properties files for jdk8 Summary: Change default release value to jdk8 (but overrideable) Reviewed-by: phh, jcoomes, dholmes, ohair
author kamg
date Mon, 13 Feb 2012 14:03:12 -0500
parents c18cbe5936b8
children
line wrap: on
line diff