Rename arm/linux into arm/eabi, more descriptive.

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2207 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 4 insertions, 3 deletions

diff --git a/configure b/configure
index 0e69384..150c7a1 100755
--- a/configure
+++ b/configure
@@ -24,7 +24,8 @@ Supported targets:
   ppc-linux        (PowerPC, Linux)
   ppc-eabi         (PowerPC, EABI with GNU/Unix tools)
   ppc-eabi-diab    (PowerPC, EABI with Diab tools)
-  arm-linux        (ARM, Linux EABI)
+  arm-linux        (ARM, EABI)
+  arm-eabi         (ARM, EABI)
   ia32-linux       (x86 32 bits, Linux)
   ia32-bsd         (x86 32 bits, BSD)
   ia32-macosx      (x86 32 bits, MacOS X)
@@ -85,9 +86,9 @@ case "$target" in
     clinker="${toolprefix}dcc"
     libmath="-lm"
     cchecklink=true;;
-  arm-linux)
+  arm-linux|arm-eabi)
     arch="arm"
-    variant="linux"
+    variant="eabi"
     system="linux"
     cc="${toolprefix}gcc"
     cprepro="${toolprefix}gcc -U__GNUC__ '-D__REDIRECT(name,proto,alias)=name proto' '-D__REDIRECT_NTH(name,proto,alias)=name proto' -E"