Re: [XEN PATCH 04/15] build: hide policy.bin commands

2023-05-25 Thread Jan Beulich
On 25.05.2023 15:34, Anthony PERARD wrote: > On Wed, May 24, 2023 at 09:11:10AM +0200, Jan Beulich wrote: >> On 23.05.2023 18:38, Anthony PERARD wrote: >>> --- a/xen/xsm/flask/Makefile >>> +++ b/xen/xsm/flask/Makefile >>> @@ -48,10 +48,15 @@ targets += flask-policy.S >>> FLASK_BUILD_DIR := $(abs_o

Re: [XEN PATCH 04/15] build: hide policy.bin commands

2023-05-25 Thread Anthony PERARD
On Wed, May 24, 2023 at 09:11:10AM +0200, Jan Beulich wrote: > On 23.05.2023 18:38, Anthony PERARD wrote: > > --- 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_BUIL

Re: [XEN PATCH 04/15] build: hide policy.bin commands

2023-05-25 Thread Daniel P. Smith
On 5/23/23 12:38, Anthony PERARD wrote: 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 --- xen/xsm/flask/Makefile | 9 +++-- 1 file changed, 7 insertion

Re: [XEN PATCH 04/15] build: hide policy.bin commands

2023-05-24 Thread Jan Beulich
On 23.05.2023 18:38, Anthony PERARD wrote: > --- 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 !

[XEN PATCH 04/15] build: hide policy.bin commands

2023-05-23 Thread Anthony PERARD
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 --- xen/xsm/flask/Makefile | 9 +++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/xen/xsm/f