On Mon, Jul 2, 2018 at 7:23 PM, Masahiro Yamada
<[email protected]> wrote:
> Hi Kees,
>
> 2018-07-03 11:18 GMT+09:00 Kees Cook <[email protected]>:
>> On Mon, Jul 2, 2018 at 5:39 PM, Masahiro Yamada
>> <[email protected]> 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 <[email protected]>
>>
>> Acked-by: Kees Cook <[email protected]>
>>
>> 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

Reply via email to