[PATCH v2 1/4] arm64: vdso32: Introduce COMPAT_CC_IS_GCC

As reported by Will Deacon the .config file and the generated include/config/auto.conf can end up out of sync after a set of commands since CONFIG_CROSS_COMPILE_COMPAT_VDSO is not updated correctly. The sequence can be reproduced as follows: $ make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- defc

Re: [PATCH v2 1/4] arm64: vdso32: Introduce COMPAT_CC_IS_GCC

On Thu, Sep 26, 2019 at 02:38:02PM +0100, Vincenzo Frascino wrote: > diff --git a/arch/arm64/Kconfig b/arch/arm64/Kconfig > index 37c610963eee..13e2d2e16af7 100644 > --- a/arch/arm64/Kconfig > +++ b/arch/arm64/Kconfig > @@ -110,7 +110,7 @@ config ARM64 > select GENERIC_STRNLEN_USER > se