On 23.05.2023 18:38, Anthony PERARD wrote: > --- a/xen/Makefile > +++ b/xen/Makefile > @@ -339,7 +339,7 @@ filechk_kconfig_allconfig = \ > : > > .allconfig.tmp: FORCE > - set -e; { $(call filechk_kconfig_allconfig); } > $@ > + $(Q)set -e; { $(call filechk_kconfig_allconfig); } > $@
So this then leaves no trace of the generation of this file. This might be okay, if only the file wasn't needlessly generated for e.g. "make syncconfig". So I'd be okay with this complete silencing only if prior to that (or in the same patch) the dependencies were limited to just the *config goals which actually need the file (and the setting of KCONFIG_ALLCONFIG). Jan