1 From 31b68a380e7649f0cbc7209c465bf747c072a7ce Mon Sep 17 00:00:00 2001
2 From: Phil Elwell <phil@raspberrypi.com>
3 Date: Wed, 8 Apr 2020 15:23:56 +0100
4 Subject: [PATCH] kbuild: Disable gcc plugins
6 The GCC plugin feature leads to different kernel configurations on what
7 ought to be equivalent build systems because they depend on the build
8 hosts native compilers rather than the cross compilers needed for the
9 target. This causes problems with module symbol version mismatches.
11 Disable GCC plugins for all build hosts.
13 Advanced build script hackery borrowed from a patch by milhouse.
15 Signed-off-by: Phil Elwell <phil@raspberrypi.com>
17 scripts/gcc-plugin.sh | 1 +
18 1 file changed, 1 insertion(+)
20 --- a/scripts/gcc-plugin.sh
21 +++ b/scripts/gcc-plugin.sh
24 # SPDX-License-Identifier: GPL-2.0
25 +exit 0 # Disable plugins
26 srctree=$(dirname "$0")