diff options
| author | xguo <xguo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-06 08:16:30 +0000 |
|---|---|---|
| committer | xguo <xguo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-06 08:16:30 +0000 |
| commit | e35d6bbc17fecce39b9f9943a9580344c5abd351 (patch) | |
| tree | 7017f7d623457c14bc3e96e7e2c08f3d55c9d4c4 /gcc/config.gcc | |
| parent | cb60456e552d75a196c9d982057b980ffa177466 (diff) | |
| download | ppe42-gcc-e35d6bbc17fecce39b9f9943a9580344c5abd351.tar.gz ppe42-gcc-e35d6bbc17fecce39b9f9943a9580344c5abd351.zip | |
2014-01-06 Terry Guo <terry.guo@arm.com>
* config.gcc (arm*-*-*): Check --with-arch against arm-arches.def.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206354 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/config.gcc')
| -rw-r--r-- | gcc/config.gcc | 24 |
1 files changed, 11 insertions, 13 deletions
diff --git a/gcc/config.gcc b/gcc/config.gcc index bd0fb635960..23657a5b0f4 100644 --- a/gcc/config.gcc +++ b/gcc/config.gcc @@ -3476,19 +3476,17 @@ case "${target}" in fi done - case "$with_arch" in - "" \ - | armv[23456] | armv2a | armv3m | armv4t | armv5t \ - | armv5te | armv6j |armv6k | armv6z | armv6zk | armv6-m \ - | armv7 | armv7-a | armv7-r | armv7-m | armv8-a \ - | iwmmxt | ep9312) - # OK - ;; - *) - echo "Unknown arch used in --with-arch=$with_arch" 1>&2 - exit 1 - ;; - esac + # See if it matches any of the entries in arm-arches.def + if [ x"$with_arch" = x ] \ + || grep "^ARM_ARCH(\"$with_arch\"," \ + ${srcdir}/config/arm/arm-arches.def \ + > /dev/null; then + # OK + true + else + echo "Unknown arch used in --with-arch=$with_arch" 1>&2 + exit 1 + fi case "$with_float" in "" \ |
