diff options
Diffstat (limited to 'tools/Makefile')
-rw-r--r-- | tools/Makefile | 2 |
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 |