From 7a2725740d4cf204cb38d281e5c2e14e0f6ccf0f Mon Sep 17 00:00:00 2001 From: xleroy 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