diff mbox

[RFC,v1,1/2] Config.mk: use MINI_OS if specified

Message ID 1457628750-20228-2-git-send-email-wei.liu2@citrix.com (mailing list archive)
State New, archived
Headers show

Commit Message

Wei Liu March 10, 2016, 4:52 p.m. UTC 
Signed-off-by: Wei Liu <wei.liu2@citrix.com>
---
 Config.mk | 4 ++++
 1 file changed, 4 insertions(+)
diff mbox

Patch

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),)