From: Vadim A. Misbakh-Soloviov <mva@mva.name>
Date: Tue, 30 Jul 2013 12:34:39 +0000 (+0400)
Subject: tools: build flask-tools and flask policy only if flask enabled
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~6577
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4328e21d5d210ba2e8ef2e9ba4fc1289d10e294c;p=xen.git

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

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