Searched refs:JVMTI_HTML (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/make/docs/
H A DMakefile669 JVMTI_HTML = $(HOTSPOT_DOCS_IMPORT_PATH)/platform/jvmti/jvmti.html macro
674 @if [ -f $(JVMTI_HTML) ] ; then \
675 $(ECHO) "$(CP) $(JVMTI_HTML) $@"; \
676 $(CP) $(JVMTI_HTML) $@; \
678 $(ECHO) "WARNING: Generated file does not exist: $(JVMTI_HTML)"; \

Completed in 53 milliseconds