comparison agent/make/start-rmiregistry.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
comparison
equal deleted inserted replaced
4920:1bb2838e2fc1 4923:a9831b955a0a