Re: [PATCH] gcc-plugins: remove unused GCC_PLUGIN_SUBDIR

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

 



On Mon, Jul 2, 2018 at 7:23 PM, Masahiro Yamada
<yamada.masahiro@xxxxxxxxxxxxx> wrote:
> Hi Kees,
>
> 2018-07-03 11:18 GMT+09:00 Kees Cook <keescook@xxxxxxxxxxxx>:
>> On Mon, Jul 2, 2018 at 5:39 PM, Masahiro Yamada
>> <yamada.masahiro@xxxxxxxxxxxxx> wrote:
>>> GCC_PLUGIN_SUBDIR has never been used.  If you really need this in
>>> the future, please re-add it then.
>>>
>>> For now, the code is unused. Remove.
>>>
>>> 'export HOSTLIBS' is not necessary either.
>>>
>>> Signed-off-by: Masahiro Yamada <yamada.masahiro@xxxxxxxxxxxxx>
>>
>> Acked-by: Kees Cook <keescook@xxxxxxxxxxxx>
>>
>> Is this going via your tree, or should I take it via the gcc-plugins tree?
>>
>> Thanks!
>>
>> -Kees
>
> Could you pick it up to your tree?

Happily; thanks!

-Kees

-- 
Kees Cook
Pixel 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