• [gentoo-dev] [PATCH] profiles/arch/amd64/x32: set KERNEL_ABI="amd64"

    From Mike Gilbert@21:1/5 to All on Tue Sep 7 01:20:01 2021
    Closes: https://bugs.gentoo.org/427052
    Signed-off-by: Mike Gilbert <floppym@gentoo.org>
    ---
    profiles/arch/amd64/x32/make.defaults | 6 +++++-
    1 file changed, 5 insertions(+), 1 deletion(-)

    diff --git a/profiles/arch/amd64/x32/make.defaults b/profiles/arch/amd64/x32/make.defaults
    index b509b305b00..0c9b008c9fd 100644
    --- a/profiles/arch/amd64/x32/make.defaults
    +++ b/profiles/arch/amd64/x32/make.defaults
    @@ -1,10 +1,14 @@
    -# Copyright 1999-2017 Gentoo Foundation
    +# Copyright 1999-2021 Gentoo Authors
    # Distributed under the terms of the GNU General Public License v2

    DEFAULT_ABI="x32"
    ABI="x32"
    MULTILIB_ABIS="amd64 x86 x32"

    +# Mike Gilbert <floppym@gentoo.org> (2021-09-06)
    +# x32 userspace runs on amd64 kernels.
    +KERNEL_ABI="amd64"
    +
    # Michał Górny <mgorny@gentoo.org> (2014-07-01)
    # Default to abi_x86_x32 for packages that don't have it forced.
    ABI_X86="x32"
    --
    2.33.0

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)