On 23.05.2023 18:38, Anthony PERARD wrote: > Make use of filechk mean that we don't have to use
I think you mean "Making use of filechk means ...", or else it reads as if you're changing how filechk behaves. (I'd again be happy to adjust while committing, provided you agree; here it looks pretty clear that there is no dependency on earlier patches, and there's also no need to wait for further acks.) > $(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> Acked-by: Jan Beulich <jbeul...@suse.com> Jan
