# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1434107140 -7200
# Node ID 35300ccb3eb028c6d6a84fe072c67cdaba72dbd7
# Parent  eac31af360db68bbc8da964ea8f88d5cd4128d80
don't export com.oracle.jvmci.options.Options as it has no JVMCI providers

diff -r eac31af360db -r 35300ccb3eb0 make/defs.make
--- a/make/defs.make	Fri Jun 12 13:04:35 2015 +0200
+++ b/make/defs.make	Fri Jun 12 13:05:40 2015 +0200
@@ -370,7 +370,6 @@
 
 EXPORT_LIST += $(EXPORT_JRE_LIB_JVMCI_SERVICES_DIR)/com.oracle.jvmci.hotspot.HotSpotJVMCIBackendFactory
 EXPORT_LIST += $(EXPORT_JRE_LIB_JVMCI_SERVICES_DIR)/com.oracle.jvmci.hotspot.HotSpotVMEventListener
-EXPORT_LIST += $(EXPORT_JRE_LIB_JVMCI_SERVICES_DIR)/com.oracle.jvmci.options.Options
 EXPORT_LIST += $(EXPORT_JRE_LIB_JVMCI_SERVICES_DIR)/com.oracle.jvmci.debug.TTYStreamProvider
 
 ifneq ("$(wildcard $(SHARED_DIR)/services/com.oracle.jvmci.hotspot.events.EventProvider)","")