Properly exit usb thread (e.g. on Ctrl-D)

[proxmark3-svn] / tools / install-gnuarm4.sh

diff --git a/tools/install-gnuarm4.sh b/tools/install-gnuarm4.sh
index bfd121193b525b3dba96029ea90d1d02ec706a34..d76fbb9948144796028880a2679d7c4b6937f4d2 100755 (executable)
--- a/tools/install-gnuarm4.sh
+++ b/tools/install-gnuarm4.sh
@@ -6,7 +6,7 @@ GCC_VER="4.3.3"
 GDB_VER="6.8"
 NEWLIB_VER="1.17.0"
 GMP_VER="4.2.4"
-MPFR_VER="2.4.1"
+MPFR_VER="2.4.2"
 INSIGHT_VER="6.8"
 
 # Where you want to install the tools
@@ -37,7 +37,7 @@ INSIGHT=http://mirrors.kernel.org/sources.redhat.com/insight/releases/insight-${
 #INSIGHT=http://www.mirrorservice.org/sites/sources.redhat.com/pub/insight/releases/insight-${INSIGHT_VER}.tar.bz2
 GDB=ftp://sourceware.org/pub/gdb/releases/gdb-${GDB_VER}.tar.bz2
 GMP=http://ftp.sunet.se/pub/gnu/gmp/gmp-${GMP_VER}.tar.bz2
-MPFR=http://www.mpfr.org/mpfr-current/mpfr-${MPFR_VER}.tar.bz2
+MPFR=http://mpfr.loria.fr/mpfr-current/mpfr-${MPFR_VER}.tar.bz2
 
 # Common configuration options (i.e., things to pass to 'configure')
 COMMON_CFG="--enable-interwork --target=arm-elf --program-prefix=arm-elf- --prefix=${DESTDIR} --disable-werror --enable-languages=c,c++ --enable-multilib --disable-shared"