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