[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20240312-gcc-plugins-gmp-v1-0-c5e082437b9e@linutronix.de>
Date: Tue, 12 Mar 2024 16:03:28 +0100
From: Thomas Weißschuh <thomas.weissschuh@...utronix.de>
To: Kees Cook <keescook@...omium.org>,
Masahiro Yamada <masahiroy@...nel.org>
Cc: linux-hardening@...r.kernel.org, linux-kernel@...r.kernel.org,
linux-kbuild@...r.kernel.org,
Thomas Weißschuh <thomas.weissschuh@...utronix.de>
Subject: [PATCH 0/2] gcc-plugins: disable plugins when gmp.h is unavailable
Without gmp.h the plugin build fails.
Signed-off-by: Thomas Weißschuh <thomas.weissschuh@...utronix.de>
---
Thomas Weißschuh (2):
kbuild: add host-cc-option helper
gcc-plugins: disable plugins when gmp.h is unavailable
scripts/Kconfig.include | 4 ++++
scripts/gcc-plugins/Kconfig | 1 +
2 files changed, 5 insertions(+)
---
base-commit: 855684c7d938c2442f07eabc154e7532b4c1fbf9
change-id: 20240312-gcc-plugins-gmp-efab1a8d05c0
Best regards,
--
Thomas Weißschuh <thomas.weissschuh@...utronix.de>
Powered by blists - more mailing lists