arch/arm/config.in
changeset 820 d43c250051c7
parent 631 2761b358f9e6
child 823 d3b715eaf5f4
     1.1 --- a/arch/arm/config.in	Fri Jun 27 15:08:43 2008 +0000
     1.2 +++ b/arch/arm/config.in	Mon Sep 01 17:54:39 2008 +0000
     1.3 @@ -4,7 +4,6 @@
     1.4      select ARCH_SUPPORTS_BOTH_ENDIAN
     1.5      select ARCH_DEFAULT_LE
     1.6      select ARCH_SUPPORT_ARCH
     1.7 -    select ARCH_SUPPORT_ABI
     1.8      select ARCH_SUPPORT_CPU
     1.9      select ARCH_SUPPORT_TUNE
    1.10      select ARCH_SUPPORT_FPU
    1.11 @@ -20,5 +19,9 @@
    1.12      help
    1.13        Set up the toolchain so that it generates EABI-compliant binaries.
    1.14  
    1.15 -config ARCH_ABI
    1.16 -    default "aapcs" if ARCH_ARM_EABI
    1.17 +config ARCH_ARM_ABI_OK
    1.18 +    bool
    1.19 +    default y
    1.20 +    depends on ! ARCH_ARM_EABI
    1.21 +    select ARCH_SUPPORT_ABI
    1.22 +