Signed-off-by: Wei Liu <wei.l...@citrix.com> --- Config.mk | 4 ++++ 1 file changed, 4 insertions(+)
diff --git a/Config.mk b/Config.mk index e5d8ade..788b0cb 100644 --- a/Config.mk +++ b/Config.mk @@ -31,6 +31,10 @@ MINI-OS_ROOT=$(XEN_ROOT)/extras/mini-os else MINI-OS_ROOT=$(TOPLEVEL_DIR) endif +# It is also possible that mini-os is specified directly. +ifneq ($(MINI_OS),) +MINI-OS_ROOT=$(MINI_OS) +endif export MINI-OS_ROOT ifneq ($(XEN_TARGET_ARCH),) -- 2.1.4 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
