[PATCH 0/2] gcc-plugins: disable plugins when gmp.h is unavailable

From: Thomas Weißschuh
Date: Tue Mar 12 2024 - 11:03:44 EST


Without gmp.h the plugin build fails.

Signed-off-by: Thomas Weißschuh <thomas.weissschuh@xxxxxxxxxxxxx>
---
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@xxxxxxxxxxxxx>