From: Anthony PERARD Date: Fri, 15 Oct 2021 09:13:39 +0000 (+0200) Subject: build: set policy filename on make command line X-Git-Tag: archive/raspbian/4.14.3+32-g9de3671772-1_deb11u1+rpi1^2^2~48^2~29 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=76f2b04c90413dd00a418f9fc957dc402951a2a5;p=xen.git build: set policy filename on make command line In order to avoid flask/Makefile.common calling `make xenversion`, we override POLICY_FILENAME with the value we are going to use anyway. Signed-off-by: Anthony PERARD Acked-by: Jan Beulich master commit: c81e7efe2146c8f381fbdbb037b9d46866a6451e master date: 2021-09-08 14:40:00 +0200 --- diff --git a/xen/xsm/flask/Makefile b/xen/xsm/flask/Makefile index 07f36d075d..c8ed3a8385 100644 --- a/xen/xsm/flask/Makefile +++ b/xen/xsm/flask/Makefile @@ -46,7 +46,9 @@ FLASK_BUILD_DIR := $(CURDIR) POLICY_SRC := $(FLASK_BUILD_DIR)/xenpolicy-$(XEN_FULLVERSION) policy.bin: FORCE - $(MAKE) -f $(XEN_ROOT)/tools/flask/policy/Makefile.common -C $(XEN_ROOT)/tools/flask/policy FLASK_BUILD_DIR=$(FLASK_BUILD_DIR) + $(MAKE) -f $(XEN_ROOT)/tools/flask/policy/Makefile.common \ + -C $(XEN_ROOT)/tools/flask/policy \ + FLASK_BUILD_DIR=$(FLASK_BUILD_DIR) POLICY_FILENAME=$(POLICY_SRC) cmp -s $(POLICY_SRC) $@ || cp $(POLICY_SRC) $@ .PHONY: clean