|
Message-ID: <CAK8P3a1dH+msCgxU-=w4gp30Bw+x3=6Cj473DuFzxun+3dfOcA@mail.gmail.com> Date: Thu, 12 Dec 2019 10:59:40 +0100 From: Arnd Bergmann <arnd@...db.de> To: Masahiro Yamada <masahiroy@...nel.org> Cc: Kees Cook <keescook@...omium.org>, Emese Revfy <re.emese@...il.com>, Ard Biesheuvel <ardb@...nel.org>, Andrey Ryabinin <aryabinin@...tuozzo.com>, Kernel Hardening <kernel-hardening@...ts.openwall.com>, Linux Kernel Mailing List <linux-kernel@...r.kernel.org>, clang-built-linux <clang-built-linux@...glegroups.com>, Andrew Morton <akpm@...ux-foundation.org> Subject: Re: [PATCH] gcc-plugins: make it possible to disable CONFIG_GCC_PLUGINS again On Thu, Dec 12, 2019 at 5:52 AM Masahiro Yamada <masahiroy@...nel.org> wrote: > > On Wed, Dec 11, 2019 at 10:40 PM Arnd Bergmann <arnd@...db.de> wrote: > > > > I noticed that randconfig builds with gcc no longer produce a lot of > > ccache hits, unlike with clang, and traced this back to plugins > > now being enabled unconditionally if they are supported. > > > > I am now working around this by adding > > > > export CCACHE_COMPILERCHECK=/usr/bin/size -A %compiler% > > > > to my top-level Makefile. This changes the heuristic that ccache uses > > to determine whether the plugins are the same after a 'make clean'. > > > > However, it also seems that being able to just turn off the plugins is > > generally useful, at least for build testing it adds noticeable overhead > > but does not find a lot of bugs additional bugs, and may be easier for > > ccache users than my workaround. > > > > Fixes: 9f671e58159a ("security: Create "kernel hardening" config area") > > Signed-off-by: Arnd Bergmann <arnd@...db.de> > > Reviewed-by: Masahiro Yamada <masahiroy@...nel.org> On Wed, Dec 11, 2019 at 2:59 PM Ard Biesheuvel <ard.biesheuvel@...aro.org> wrote: >Acked-by: Ard Biesheuvel <ardb@...nel.org> Thanks! Who would be the best person to pick up the patch? Should I send it to Andrew? Arnd
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.