g/c unused config options

diff --git a/platform/xen/xen/Makefile b/platform/xen/xen/Makefile
index b81209867cb492b28596a3e0130eae1be93797ac..77754a75114650bbc681a02bd6632b3307e2cb19 100644 (file)
--- a/platform/xen/xen/Makefile
+++ b/platform/xen/xen/Makefile
@@ -10,12 +10,7 @@ include ../../../global.mk
 MINI-OS_ROOT=$(CURDIR)
 export MINI-OS_ROOT
 
-ifeq ($(MINIOS_CONFIG),)
 include Config.mk
-else
-EXTRA_DEPS += $(MINIOS_CONFIG)
-include $(MINIOS_CONFIG)
-endif
 
 # Configuration defaults
 CONFIG_PCI ?= y