diff options
-rw-r--r-- | tools/flask/policy/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/flask/policy/Makefile b/tools/flask/policy/Makefile index e666f3e718..df1e8f3fdc 100644 --- a/tools/flask/policy/Makefile +++ b/tools/flask/policy/Makefile @@ -103,6 +103,7 @@ POLICY_SECTIONS += $(USERS) $(CONSTRAINTS) $(ISID_DEFS) all: $(POLICY_FILENAME) install: $(POLICY_FILENAME) + $(INSTALL_DIR) $(POLICY_LOADPATH) $(INSTALL_DATA) $^ $(POLICY_LOADPATH) $(POLICY_FILENAME): policy.conf |