Switch to GDB version 7.5.1

GDB 7.5.1 includes fixes for remote openocd debugging to make it
handle the whacky FP register stuff

Signed-off-by: Keith Packard <keithp@keithp.com>

diff --git a/summon-arm-toolchain b/summon-arm-toolchain
index e2868e6f74e46b5e4bd871e0267f54eaf19c3a1a..94181e14d6fb830cae0fceb915e74ba1fe01ffc3 100755 (executable)
--- a/summon-arm-toolchain
+++ b/summon-arm-toolchain
@@ -20,7 +20,7 @@ set -e
 # You can also pass them as parameters to the script
 ##############################################################################
 TARGET=arm-none-eabi           # Or: TARGET=arm-elf
-PREFIX=${HOME}/sat     # Install location of your final toolchain
+PREFIX=/opt/cortex     # Install location of your final toolchain
 DARWIN_OPT_PATH=/opt/local     # Path in which MacPorts or Fink is installed
 # Set to 'sudo' if you need superuser privileges while installing
 SUDO=
@@ -119,7 +119,7 @@ fi
 
 BINUTILS=binutils-2.21.1
 NEWLIB=newlib-1.19.0
-GDB=gdb-7.3.1
+GDB=gdb-7.5.1
 OOCD=master
 LIBCMSIS=v1.10-3
 LIBSTM32=v3.0.0-2