pebble/arm-eabi-toolchain — pull request #5 by martijnthe (2014-01-04 05:07:56+00:00)
Title: Update to release 2013.11

I'm running into some issues with gdb.
Updating to the latest Mentor Graphics release and adding debugging symbols to the build of gdb.