make/Main.gmk
changeset 22031 ae288cbb4c28
parent 21759 e24e22311718
child 22714 a752920c4317
--- a/make/Main.gmk	Fri Dec 13 09:34:44 2013 -0800
+++ b/make/Main.gmk	Tue Dec 17 11:09:26 2013 +0100
@@ -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