changeset 49928:ae58e24ce81a

8202383: Custom extensions for jvmti doc Reviewed-by: erikj Contributed-by: archana.nogriya@uk.ibm.com
author erikj
date Mon, 30 Apr 2018 09:49:08 -0700
parents 891132345d43
children f38329fe8055
files make/Docs.gmk
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/make/Docs.gmk	Mon Apr 30 09:37:10 2018 -0700
+++ b/make/Docs.gmk	Mon Apr 30 09:49:08 2018 -0700
@@ -561,7 +561,7 @@
 JDK_SPECS_TARGETS += $(COPY_JDWP_PROTOCOL)
 
 # Get jvmti.html from the main jvm variant (all variants' jvmti.html are identical).
-JVMTI_HTML := $(HOTSPOT_OUTPUTDIR)/variant-$(JVM_VARIANT_MAIN)/gensrc/jvmtifiles/jvmti.html
+JVMTI_HTML ?= $(HOTSPOT_OUTPUTDIR)/variant-$(JVM_VARIANT_MAIN)/gensrc/jvmtifiles/jvmti.html
 $(eval $(call SetupCopyFiles, COPY_JVMTI_HTML, \
     FILES := $(JVMTI_HTML), \
     DEST := $(DOCS_OUTPUTDIR)/specs, \