diff agent/make/Makefile @ 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 fd65bc7c09b6
children 5a98bf7d847b
line wrap: on
line diff