aboutsummaryrefslogtreecommitdiffstats
path: root/tools/Makefile
diff options
context:
space:
mode:
authorVadim A. Misbakh-Soloviov <mva@mva.name>2013-07-30 16:34:39 +0400
committerIan Campbell <ian.campbell@citrix.com>2013-08-02 15:42:59 +0100
commit4328e21d5d210ba2e8ef2e9ba4fc1289d10e294c (patch)
tree4ab02bab3f888c6d89b3acac565231176c939d88 /tools/Makefile
parent8bff3edead4318bfebc487f929f833d11922c238 (diff)
downloadxen-4328e21d5d210ba2e8ef2e9ba4fc1289d10e294c.tar.gz
xen-4328e21d5d210ba2e8ef2e9ba4fc1289d10e294c.tar.bz2
xen-4328e21d5d210ba2e8ef2e9ba4fc1289d10e294c.zip
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>
Diffstat (limited to 'tools/Makefile')
-rw-r--r--tools/Makefile2
1 files changed, 1 insertions, 1 deletions
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