gcc/config.gcc now allows matching arm*-*-linux-*eabi* instead of arm*-*-linux-*eabi for ARM Linux/GNU EABI. This changes the matching in various other places as well. arm-linux-gnueabihf is used as a triplet by some distributions. Ok for the trunk? Matthias gcc/testsuite/ 2012-06-25 Matthias Klose * lib/target-supports.exp (check_profiling_available): Match arm*-*-linux-*eabi* for ARM Linux/GNU EABI. gcc/ada/ 2012-06-25 Matthias Klose * gcc-interface/Makefile.in: Match arm*-*-linux-*eabi* for ARM Linux/GNU EABI. libgcc/ 2012-06-25 Matthias Klose * config.host: Match arm*-*-linux-*eabi* for ARM Linux/GNU EABI. libstdc++-v3/ 2012-06-25 Matthias Klose * configure.host: Match arm*-*-linux-*eabi* for ARM Linux/GNU EABI. * testsuite/20_util/make_signed/requirements/typedefs-2.cc: Likewise. * testsuite/20_util/make_unsigned/requirements/typedefs-2.cc: Likewise. libjava/ 2012-06-25 Matthias Klose * configure.ac: Match arm*-*-linux-*eabi* for ARM Linux/GNU EABI.