diff options
| author | Terry Guo <terry.guo@arm.com> | 2014-01-06 08:16:30 +0000 |
|---|---|---|
| committer | Xuepeng Guo <xguo@gcc.gnu.org> | 2014-01-06 08:16:30 +0000 |
| commit | c7d19c0b588cc00957d7e40d75d336c41e73fbb3 (patch) | |
| tree | 7017f7d623457c14bc3e96e7e2c08f3d55c9d4c4 /gcc | |
| parent | 9596ecdf8c46c4d4f837c70bd6e722a36a23424c (diff) | |
| download | gcc-c7d19c0b588cc00957d7e40d75d336c41e73fbb3.zip gcc-c7d19c0b588cc00957d7e40d75d336c41e73fbb3.tar.gz gcc-c7d19c0b588cc00957d7e40d75d336c41e73fbb3.tar.bz2 | |
config.gcc (arm*-*-*): Check --with-arch against arm-arches.def.
2014-01-06 Terry Guo <terry.guo@arm.com>
* config.gcc (arm*-*-*): Check --with-arch against arm-arches.def.
From-SVN: r206354
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/config.gcc | 24 |
2 files changed, 15 insertions, 13 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1969671..33548a0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2014-01-06 Terry Guo <terry.guo@arm.com> + + * config.gcc (arm*-*-*): Check --with-arch against arm-arches.def. + 2014-01-05 Iain Sandoe <iain@codesourcery.com> PR bootstrap/59541 diff --git a/gcc/config.gcc b/gcc/config.gcc index bd0fb63..23657a5 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 "" \ |