Re: [PATCH] MAINTAINERS: add GCC plugins Makefile

[Kees Cook]

On Tue, Nov 1, 2016 at 11:52 PM, Andrew Donnellan
<andrew.donnellan@xxxxxxxxxxx> wrote:
> Signed-off-by: Andrew Donnellan <andrew.donnellan@xxxxxxxxxxx>
> ---
>  MAINTAINERS | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/MAINTAINERS b/MAINTAINERS
> index 4012c2f..76049e0 100644
> --- a/MAINTAINERS
> +++ b/MAINTAINERS
> @@ -5202,6 +5202,7 @@ L:        kernel-hardening@xxxxxxxxxxxxxxxxxx
>  S:     Maintained
>  F:     scripts/gcc-plugins/
>  F:     scripts/gcc-plugin.sh
> +F:     scripts/Makefile.gcc-plugins
>  F:     Documentation/gcc-plugins.txt
>
>  GCOV BASED KERNEL PROFILING

Ah, good call. I've added this for -next now. Thanks!

-Kees

-- 
Kees Cook
Nexus Security