diff options
Diffstat (limited to 'tools/flask')
| -rw-r--r-- | tools/flask/policy/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tools/flask/policy/Makefile b/tools/flask/policy/Makefile index df1e8f3fdc..a1c0f11fad 100644 --- a/tools/flask/policy/Makefile +++ b/tools/flask/policy/Makefile @@ -33,7 +33,7 @@ M4 ?= m4 OUTPUT_POLICY = 24 POLICY_FILENAME = xenpolicy.$(OUTPUT_POLICY) -POLICY_LOADPATH = $(DESTDIR)/boot +POLICY_LOADPATH = /boot # policy source layout POLDIR := policy @@ -103,8 +103,8 @@ POLICY_SECTIONS += $(USERS) $(CONSTRAINTS) $(ISID_DEFS) all: $(POLICY_FILENAME) install: $(POLICY_FILENAME) - $(INSTALL_DIR) $(POLICY_LOADPATH) - $(INSTALL_DATA) $^ $(POLICY_LOADPATH) + $(INSTALL_DIR) $(DESTDIR)/$(POLICY_LOADPATH) + $(INSTALL_DATA) $^ $(DESTDIR)/$(POLICY_LOADPATH) $(POLICY_FILENAME): policy.conf $(CHECKPOLICY) $(CHECKPOLICY_PARAM) $^ -o $@ |