From 7a2725740d4cf204cb38d281e5c2e14e0f6ccf0f Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 20 Aug 2014 13:15:48 +0000
Subject: Better validation of target for ARM

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2611 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 configure | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/configure b/configure
index a47b59d..787bd90 100755
--- a/configure
+++ b/configure
@@ -115,8 +115,12 @@ case "$target" in
         exit 2;;
     esac
     case "$target" in
-      *-eabi) abi="eabi";;
+      *-eabi|*-linux) abi="eabi";;
       *-eabihf|*-hf|*-hardfloat) abi="hardfloat";;
+      *)
+        echo "Unknown target '$target'." 1>&2
+        echo "$usage" 1>&2
+        exit 2;;
     esac
     system="linux"
     cc="${toolprefix}gcc"
-- 
cgit v1.2.3