Instead, show only when "policy.bin" is been updated.
We still have the full command from the flask/policy Makefile, but we
can't change that Makefile.
Signed-off-by: Anthony PERARD <anthony.per...@citrix.com>
---
xen/xsm/flask/Makefile | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/xen/xsm/flask/Makefile b/xen/xsm/flask/Makefile
index 3fdcf7727e..fc44ad684f 100644
--- a/xen/xsm/flask/Makefile
+++ b/xen/xsm/flask/Makefile
@@ -48,10 +48,15 @@ targets += flask-policy.S
FLASK_BUILD_DIR := $(abs_objtree)/$(obj)
POLICY_SRC := $(FLASK_BUILD_DIR)/xenpolicy-$(XEN_FULLVERSION)
+policy_chk = \
+ $(Q)if ! cmp -s $(POLICY_SRC) $@; then \
+ $(kecho) ' UPD $@'; \
+ cp $(POLICY_SRC) $@; \
+ fi
$(obj)/policy.bin: FORCE
- $(MAKE) -f $(XEN_ROOT)/tools/flask/policy/Makefile.common \
+ $(Q)$(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) $@
+ $(call policy_chk)
clean-files := policy.* $(POLICY_SRC)
--
Anthony PERARD
