From: Wei Liu <wei.liu2@citrix.com>
Date: Wed, 9 Mar 2016 18:44:27 +0000 (+0000)
Subject: Makefile: require XEN_ROOT and MINI_OS to be defined
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=9ef4fab46cdbc6f72e52c3dc1c9401b0109838f7;p=people%2Fliuw%2Fstubdom.git

Makefile: require XEN_ROOT and MINI_OS to be defined

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

diff --git a/Makefile b/Makefile
index cfbaa99..f3f5c02 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,10 @@
-XEN_ROOT = $(CURDIR)/..
-MINI_OS = $(XEN_ROOT)/extras/mini-os
+ifeq (,$(XEN_ROOT))
+  $(error Please define XEN_ROOT environment variable)
+endif
+
+ifeq (,$(MINI_OS))
+  $(error Please define MINI_OS environment variable)
+endif
 
 export XEN_ROOT
 export XEN_OS=MiniOS
@@ -10,9 +15,6 @@ export stubdom=y
 export debug=y
 
 ifeq (,$(findstring clean,$(MAKECMDGOALS)))
-  ifeq ($(wildcard $(MINI_OS)/Config.mk),)
-    $(error Please run `make mini-os-dir' in top-level directory)
-  endif
   include $(XEN_ROOT)/Config.mk
 endif