diff -r ef8549b58b6f -r fe3eda71a9d0 config/arch/arm/functions
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/config/arch/arm/functions	Fri Oct 03 12:30:58 2008 +0000
@@ -0,0 +1,17 @@
+# Compute ARM-specific values
+
+CT_DoArchValues() {
+    # The architecture part of the tuple:
+    CT_TARGET_ARCH="${CT_ARCH}${target_endian_eb}"
+
+    # The system part of the tuple:
+    case "${CT_LIBC},${CT_ARCH_ARM_EABI}" in
+        *glibc,y)   CT_TARGET_SYS=gnueabi;;
+        uClibc,y)   CT_TARGET_SYS=uclibcgnueabi;;
+        none,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}"
+}