updated install-gnuarm4.sh to reflect new convention set by r573

diff --git a/tools/install-gnuarm4.sh b/tools/install-gnuarm4.sh
index edc4dfa0284a75ad5d3dbc864168102c8c63699b..d4fdd2f533f89b4c6d98ae74f19d785867a1ea0c 100755 (executable)
--- a/tools/install-gnuarm4.sh
+++ b/tools/install-gnuarm4.sh
@@ -50,7 +50,7 @@ GNU_KEYRING_GPG=gnu-keyring.gpg
 GNU_KEYRING=ftp://ftp.gnu.org/gnu/${GNU_KEYRING_GPG}
 
 # Common configuration options (i.e., things to pass to 'configure')
-COMMON_CFG="--enable-interwork --target=arm-eabi --program-prefix=arm-eabi- --prefix=${DESTDIR} --disable-werror --enable-languages=c,c++ --enable-multilib --disable-shared"
+COMMON_CFG="--enable-interwork --target=arm-eabi --program-prefix=arm-none-eabi- --prefix=${DESTDIR} --disable-werror --enable-languages=c,c++ --enable-multilib --disable-shared"
 
 # Extra configuration options for each toolchain component
 BINUTILS_CFG=