config: don't hard-code mini-os path

Signed-off-by: Wei Liu <wei.liu2@citrix.com>

diff --git a/config/MiniOS.mk b/config/MiniOS.mk
index 32260ada91f82c88467c6efc55048f726039ebee..191226e4042ad7148a49d1cd0e6daeae6f435bf7 100644 (file)
--- a/config/MiniOS.mk
+++ b/config/MiniOS.mk
@@ -1,5 +1,5 @@
 include $(XEN_ROOT)/config/StdGNU.mk
-include $(XEN_ROOT)/extras/mini-os/Config.mk
+include $(MINI_OS)/Config.mk
 CFLAGS += $(DEF_CFLAGS) $(ARCH_CFLAGS)
 CPPFLAGS += $(DEF_CPPFLAGS) $(ARCH_CPPFLAGS) $(extra_incl)
 ASFLAGS += $(DEF_ASFLAGS) $(ARCH_ASFLAGS)