diff --git a/build/build.xml b/build/build.xml
index 0bebb4376..9f93f9ff1 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -16,6 +16,16 @@
+
+
+
+
+
+
+
+
+
+
@@ -174,7 +184,7 @@
-
+
@@ -223,7 +233,11 @@
-
+
+
+
+
+
@@ -241,42 +255,6 @@
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Checksum failed.
-
- File gcc-arm-none-eabi-4.4.1-2010q1-188-macos.tar.gz failed checksum.
- Please remove "macosx/dist/gcc-arm-none-eabi-4.4.1-2010q1-188-macos.tar.gz" to download it again.
-
-
-
-
-
-
-
-
-
-
@@ -475,7 +453,7 @@
-
+
@@ -495,7 +473,7 @@
-
+
@@ -516,21 +494,21 @@
-
+
-
-
-
+
+
+
-
-
+
+
-
-
@@ -538,14 +516,14 @@
Checksum failed.
File ${dist_file} failed checksum.
- Please remove "linux/dist/${dist_file}" to download it again.
+ Please remove "${staging_folder}/dist/${dist_file}" to download it again.
-
-
+
+
@@ -690,7 +668,12 @@
-
+
+
+
+
+
+
@@ -703,42 +686,6 @@
dir="windows/work" spawn="true"/>
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- Checksum failed.
-
- File gcc-arm-none-eabi-4.4.1-2010q1-188-win32.tar.gz failed checksum.
- Please remove "windows/dist/gcc-arm-none-eabi-4.4.1-2010q1-188-win32.tar.gz" to download it again.
-
-
-
-
-
-
-
-
-
-
diff --git a/build/macosx/dist/gcc-arm-none-eabi-4.4.1-2010q1-188-macos.tar.gz.sha b/build/macosx/dist/gcc-arm-none-eabi-4.4.1-2010q1-188-macos.tar.gz.sha
deleted file mode 100644
index 3b951bb7f..000000000
--- a/build/macosx/dist/gcc-arm-none-eabi-4.4.1-2010q1-188-macos.tar.gz.sha
+++ /dev/null
@@ -1 +0,0 @@
-14c554bb9aa9f0d0262a593e7452d33f4babc60d
diff --git a/build/macosx/dist/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz.sha b/build/macosx/dist/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz.sha
new file mode 100644
index 000000000..a265218f9
--- /dev/null
+++ b/build/macosx/dist/gcc-arm-none-eabi-4.7.4-2013q2-mac.tar.gz.sha
@@ -0,0 +1 @@
+a1326c6258f91d9b318570bc619ca8a3b799d8bc
diff --git a/build/windows/dist/gcc-arm-none-eabi-4.4.1-2010q1-188-win32.tar.gz.sha b/build/windows/dist/gcc-arm-none-eabi-4.4.1-2010q1-188-win32.tar.gz.sha
deleted file mode 100644
index 068b717e3..000000000
--- a/build/windows/dist/gcc-arm-none-eabi-4.4.1-2010q1-188-win32.tar.gz.sha
+++ /dev/null
@@ -1 +0,0 @@
-f288affa058bfdd44f8b93800fc4cb01b2ebf1e5
diff --git a/build/windows/dist/gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz.sha b/build/windows/dist/gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz.sha
new file mode 100644
index 000000000..0c66d28a8
--- /dev/null
+++ b/build/windows/dist/gcc-arm-none-eabi-4.7.4-2013q2-windows.tar.gz.sha
@@ -0,0 +1 @@
+c41fa509205b9ced43fc221b6a0cae4223a0842d