Messages in this thread | | | From | Kees Cook <> | Date | Mon, 2 Jul 2018 19:25:26 -0700 | Subject | Re: [PATCH] gcc-plugins: remove unused GCC_PLUGIN_SUBDIR |
| |
On Mon, Jul 2, 2018 at 7:23 PM, Masahiro Yamada <yamada.masahiro@socionext.com> wrote: > Hi Kees, > > 2018-07-03 11:18 GMT+09:00 Kees Cook <keescook@chromium.org>: >> On Mon, Jul 2, 2018 at 5:39 PM, Masahiro Yamada >> <yamada.masahiro@socionext.com> 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@socionext.com> >> >> Acked-by: Kees Cook <keescook@chromium.org> >> >> 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
| |