From 9ef4fab46cdbc6f72e52c3dc1c9401b0109838f7 Mon Sep 17 00:00:00 2001 From: Wei Liu Date: Wed, 9 Mar 2016 18:44:27 +0000 Subject: [PATCH] Makefile: require XEN_ROOT and MINI_OS to be defined Signed-off-by: Wei Liu --- Makefile | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) 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 -- 2.39.5