diff make/Main.gmk @ 933:c3c75eda6606

8029797: Let jprt run configure when building Reviewed-by: tbell
author erikj
date Tue, 17 Dec 2013 11:09:26 +0100
parents a667caba1e84
children
line wrap: on
line diff
--- 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