Re: [PATCH] MAINTAINERS: add GCC plugins Makefile

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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
--
To unsubscribe from this list: send the line "unsubscribe linux-kbuild" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html



[Index of Archives]     [Linux&nblp;USB Development]     [Linux Media]     [Video for Linux]     [Linux Audio Users]     [Yosemite Secrets]     [Linux Kernel]     [Linux SCSI]

  Powered by Linux