From 4328e21d5d210ba2e8ef2e9ba4fc1289d10e294c Mon Sep 17 00:00:00 2001
From: "Vadim A. Misbakh-Soloviov" <mva@mva.name>
Date: Tue, 30 Jul 2013 16:34:39 +0400
Subject: tools: build flask-tools and flask policy only if flask enabled

Signed-off-by: Vadim A. Misbakh-Soloviov <mva@mva.name>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
---
 tools/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/Makefile')

diff --git a/tools/Makefile b/tools/Makefile
index e44a3e9227..6791829a6f 100644
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -8,7 +8,7 @@ endif
 SUBDIRS-y :=
 SUBDIRS-y += include
 SUBDIRS-y += libxc
-SUBDIRS-y += flask
+SUBDIRS-$(FLASK_ENABLE) += flask
 SUBDIRS-y += xenstore
 SUBDIRS-y += misc
 SUBDIRS-y += examples
-- 
cgit v1.2.3