diff options
Diffstat (limited to 'tools/flask')
-rw-r--r-- | tools/flask/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/flask/Makefile b/tools/flask/Makefile index add9035ed8..bc77a06c6b 100644 --- a/tools/flask/Makefile +++ b/tools/flask/Makefile @@ -1,8 +1,8 @@ XEN_ROOT = $(CURDIR)/../.. include $(XEN_ROOT)/tools/Rules.mk -SUBDIRS := -SUBDIRS += utils +SUBDIRS-y := utils +SUBDIRS-$(FLASK_POLICY) += policy .PHONY: all clean install all clean install: %: subdirs-% |