diff -r de71433b576a -r 6d0ebf545f49 make/Main.gmk --- a/make/Main.gmk Mon May 12 06:16:36 2014 -0700 +++ b/make/Main.gmk Tue Jul 15 18:46:37 2014 -0700 @@ -242,4 +242,6 @@ .PHONY: clean-langtools clean-corba clean-jaxp clean-jaxws clean-hotspot clean-jdk clean-nashorn clean-images clean-docs clean-test clean-overlay-images clean-bootcycle-build .PHONY: profiles profiles-only profiles-oscheck +include $(root_dir)/make/Jprt.gmk + FRC: # Force target