Updated arm gcc to 4.8.3

Author: cmaglie

build/build.xml

@@ -258,9 +258,9 @@
     </antcall>
 
     <antcall target="unzip-arm-toolchain">
-      <param name="dist_file" value="gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz" />
-      <param name="dist_url" value="http://arduino.googlecode.com/files/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz" />
-      <param name="dist_check_file" value="gcc-arm-none-eabi-4.7.4-2013q2" />
+      <param name="dist_file" value="gcc-arm-none-eabi-4.8.3-2013q4-mac.tar.gz" />
+      <param name="dist_url" value="http://downloads.arduino.cc/gcc-arm-none-eabi-4.8.3-2013q4-mac.tar.gz" />
+      <param name="dist_check_file" value="gcc-arm-none-eabi-4.8.3-2013q4" />
     </antcall>
 
     <delete includeEmptyDirs="true" quiet="true">
@@ -490,9 +490,9 @@
   <target name="linux32-build" depends="linux-build" description="Build linux (32-bit) version">
     <!-- Unzip ARM tools -->
     <antcall target="unzip-arm-toolchain">
-      <param name="dist_file" value="gcc-arm-none-eabi-4.7.4-2013q2-linux32.tar.gz" />
-      <param name="dist_url" value="http://arduino.googlecode.com/files/gcc-arm-none-eabi-4.7.4-2013q2-linux32.tar.gz" />
-      <param name="dist_check_file" value="gcc-arm-none-eabi-4.7.4-2013q2" />
+      <param name="dist_file" value="gcc-arm-none-eabi-4.8.3-2013q4-linux32.tar.gz" />
+      <param name="dist_url" value="http://downloads.arduino.cc/gcc-arm-none-eabi-4.8.3-2013q4-linux32.tar.gz" />
+      <param name="dist_check_file" value="gcc-arm-none-eabi-4.8.3-2013q4" />
     </antcall>
 
     <!-- Unzip AVR tools -->
@@ -504,9 +504,9 @@
   <target name="linux64-build" depends="linux-build" description="Build linux (64-bit) version">
     <!-- Unzip ARM tools -->
     <antcall target="unzip-tool">
-      <param name="dist_file" value="gcc-arm-none-eabi-4.7.4-2013q2-linux64.tar.gz" />
-      <param name="dist_url" value="http://arduino.googlecode.com/files/gcc-arm-none-eabi-4.7.4-2013q2-linux64.tar.gz" />
-      <param name="dist_check_file" value="gcc-arm-none-eabi-4.7.4-2013q2" />
+      <param name="dist_file" value="gcc-arm-none-eabi-4.8.3-2013q4-linux64.tar.gz" />
+      <param name="dist_url" value="http://downloads.arduino.cc/gcc-arm-none-eabi-4.8.3-2013q4-linux64.tar.gz" />
+      <param name="dist_check_file" value="gcc-arm-none-eabi-4.8.3-2013q4" />
     </antcall>
 
     <!-- Unzip AVR tools -->
@@ -783,9 +783,9 @@
 
     <!-- Unzip ARM toolchain -->
     <antcall target="unzip-arm-toolchain">
-      <param name="dist_file" value="gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz" />
-      <param name="dist_url" value="http://arduino.googlecode.com/files/gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz" />
-      <param name="dist_check_file" value="gcc-arm-none-eabi-4.7.4-2013q2" />
+      <param name="dist_file" value="gcc-arm-none-eabi-4.8.3-2013q4-windows.tar.gz" />
+      <param name="dist_url" value="http://downloads.arduino.cc/gcc-arm-none-eabi-4.8.3-2013q4-windows.tar.gz" />
+      <param name="dist_check_file" value="gcc-arm-none-eabi-4.8.3-2013q4" />
     </antcall>
 
     <delete includeEmptyDirs="true" quiet="true">

build/linux/dist/gcc-arm-none-eabi-4.7.4-2013q2-linux32.tar.gz.sha

@@ -0,0 +1 @@
+3d3cbb6ab5b48e822c6c270e8c8fdaa23b6690f8

build/linux/dist/gcc-arm-none-eabi-4.7.4-2013q2-linux64.tar.gz.sha

@@ -0,0 +1 @@
+a77fe161944ea06b86ead50692a594aba161bd7f

build/linux/dist/gcc-arm-none-eabi-4.8.3-2013q4-linux32.tar.gz.sha

@@ -0,0 +1 @@
+38dd8968003bf4e69e9ec55d0a92e5993ef3d66b

build/linux/dist/gcc-arm-none-eabi-4.8.3-2013q4-linux64.tar.gz.sha

@@ -2,7 +2,7 @@ ARDUINO 1.5.7 BETA
 
 [core]
 * Upgraded AVR toolchain: gcc 4.8.1, avr-libc 1.8.0
-* Upgraded ARM toolchain: gcc 4.7.4
+* Upgraded ARM toolchain: gcc 4.8.3
 * Upgraded avrdude to version 6.0.1
 * ARM gcc doesn't require ia32-libs anymore on 64 bits linux systems
 * avr: Improved USB-CDC write speed (Justin Rajewski)

build/macosx/dist/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz.sha

@@ -0,0 +1 @@
+d9ef21ecb5c303690b135efcb80548a11cba449b