Re: [XEN PATCH 08/15] build: use $(filechk, ) for all compat/.xlat/%.lst

[Luca Fancellu]

> On 23 May 2023, at 17:38, Anthony PERARD <anthony.per...@citrix.com> wrote:
> 
> Make use of filechk mean that we don't have to use
> $(move-if-changed,). It also mean that will have sometime "UPD .." in
> the build output when the target changed, rather than having "GEN ..."
> all the time when "xlat.lst" happen to have a more recent modification
> timestamp.
> 
> While there, replace `grep -v` by `sed '//d'` to avoid an extra
> fork and pipe when building.
> 
> Signed-off-by: Anthony PERARD <anthony.per...@citrix.com>
> ---


Seems good to me!

Reviewed-by: Luca Fancellu <luca.fance...@arm.com>
Tested-by: Luca Fancellu <luca.fance...@arm.com>