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 e44a3e9227a3da2ea9a367603654f229a141aaae..6791829a6fc8a62bd1afa4c7e6db84b30d821b34 100644 (file)
--- 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