diff make/Makefile @ 9935:2a091d2987bd

added graal.options mechanism for being able to override default option values
author Doug Simon <doug.simon@oracle.com>
date Fri, 07 Jun 2013 15:59:09 +0200
parents 1d584a42941f
children 8dc4cdde75fb
line wrap: on
line diff
--- a/make/Makefile	Fri Jun 07 10:52:48 2013 +0200
+++ b/make/Makefile	Fri Jun 07 15:59:09 2013 +0200
@@ -516,6 +516,10 @@
 $(EXPORT_JRE_LIB_DIR)/%.jar: $(SHARED_DIR)/%.jar
 	$(install-file)
 
+# Shared options files
+$(EXPORT_JRE_LIB_DIR)/%.options: $(SHARED_DIR)/%.options
+	$(install-file)
+	
 # Include files (jvmti.h, jvmticmlr.h, jni.h, $(JDK_INCLUDE_SUBDIR)/jni_md.h, jmm.h, jfr.h)
 $(EXPORT_INCLUDE_DIR)/%: $(GEN_DIR)/jvmtifiles/%
 	$(install-file)