# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1256160030 -7200
# Node ID 882122458d2dedfcdc107a353314039345dc99d1
# Parent  9c0766bed0d2706836e2751fa8f4c320123fb1c0
arch/arm: no need to check for the ABI option

The ABI option can not be set if EABI was selected,
so no need to check for it.

diff -r 9c0766bed0d2 -r 882122458d2d scripts/build/arch/arm.sh
--- a/scripts/build/arch/arm.sh	Wed Oct 21 18:22:05 2009 +0200
+++ b/scripts/build/arch/arm.sh	Wed Oct 21 23:20:30 2009 +0200
@@ -10,8 +10,4 @@
         uClibc,y)   CT_TARGET_SYS=uclibcgnueabi;;
         *,y)        CT_TARGET_SYS=eabi;;
     esac
-
-    # In case we're EABI, do *not* specify any ABI!
-    # which means, either we do not have an ABI specified, or we're not EABI.
-    CT_TestOrAbort "Internal error: CT_ARCH_ABI should not be set for EABI build." -z "${CT_ARCH_ABI}" -o -z "${CT_ARCH_ARM_EABI}"
 }