Re: [PATCH v2 1/3] gcc-plugins: Force full rebuild when plugins change

2025-05-03 Thread Kees Cook
On Sat, May 03, 2025 at 03:12:23PM +0900, Masahiro Yamada wrote: > On Sat, May 3, 2025 at 7:54 AM Kees Cook wrote: > > +quiet_cmd_gcc_plugins_updated = UPDATE $@ > > + cmd_gcc_plugins_updated = echo '/* $^ */' > $(obj)/gcc-plugins-deps.h > > I think 'touch' should be enough. > > If some pl

Re: [PATCH v2 1/3] gcc-plugins: Force full rebuild when plugins change

2025-05-02 Thread Masahiro Yamada
On Sat, May 3, 2025 at 7:54 AM Kees Cook wrote: > > There was no dependency between the plugins changing and the rest of the > kernel being built. Enforce this by including a synthetic header file > when using plugins, that is regenerated any time the plugins are built. > > This cannot be included

[PATCH v2 1/3] gcc-plugins: Force full rebuild when plugins change

2025-05-02 Thread Kees Cook
There was no dependency between the plugins changing and the rest of the kernel being built. Enforce this by including a synthetic header file when using plugins, that is regenerated any time the plugins are built. This cannot be included via '-include ...' because Makefiles use the "filter-out" s