|
Message-ID: <20160412184147.GA92432@davidb.org> Date: Tue, 12 Apr 2016 12:41:47 -0600 From: David Brown <david.brown@...aro.org> To: Kees Cook <keescook@...omium.org> Cc: Emese Revfy <re.emese@...il.com>, Masahiro Yamada <yamada.masahiro@...ionext.com>, Michal Marek <mmarek@...e.com>, linux-kbuild <linux-kbuild@...r.kernel.org>, PaX Team <pageexec@...email.hu>, Brad Spengler <spender@...ecurity.net>, "kernel-hardening@...ts.openwall.com" <kernel-hardening@...ts.openwall.com>, Rasmus Villemoes <linux@...musvillemoes.dk>, Fengguang Wu <fengguang.wu@...el.com>, Dmitry Vyukov <dvyukov@...gle.com>, LKML <linux-kernel@...r.kernel.org> Subject: Re: [PATCH v6 0/6] Introduce GCC plugin infrastructure On Tue, Apr 12, 2016 at 11:27:52AM -0700, Kees Cook wrote: >Awesome! Thanks for testing this. I still need to finish getting my >arm64 environment built... I've been using: http://releases.linaro.org/components/toolchain/binaries/ for most stuff. >Do you happen to know if there's already a gcc bug open for the make >install problem? Linaro toolchain bug: https://bugs.linaro.org/show_bug.cgi?id=2123 Patch to fix it https://gcc.gnu.org/ml/gcc-patches/2016-03/msg00522.html It is supposed to be included in the linaro 5.3-2016.03 snapshot. I've pinged Christophe to see if I can get any insight into when that will be available. It is kind of nice to see that when it fails, it prints a helpful message, though: scripts/Makefile.gcc-plugins:22: *** error, your gcc installation does not support plugins, perhaps the necessary headers are missing?. Stop. I think it is OK to include this, even with the patches still bubbling through gcc releases. It prints a helpful message when it doesn't work, and is only going to be selected if specifically requested. David
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.