From 4b74a3428341daf5c7244912863d21e000175122 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Mon, 23 Nov 2015 11:27:23 +0100
Subject: [PATCH] Updating arduino-builder to 1.2.5

---
 build/arduino-builder-linux32-1.2.4.tar.bz2.sha | 1 -
 build/arduino-builder-linux32-1.2.5.tar.bz2.sha | 1 +
 build/arduino-builder-linux64-1.2.4.tar.bz2.sha | 1 -
 build/arduino-builder-linux64-1.2.5.tar.bz2.sha | 1 +
 build/arduino-builder-macosx-1.2.4.tar.bz2.sha  | 1 -
 build/arduino-builder-macosx-1.2.5.tar.bz2.sha  | 1 +
 build/arduino-builder-windows-1.2.4.zip.sha     | 1 -
 build/arduino-builder-windows-1.2.5.zip.sha     | 1 +
 build/build.xml                                 | 2 +-
 9 files changed, 5 insertions(+), 5 deletions(-)
 delete mode 100644 build/arduino-builder-linux32-1.2.4.tar.bz2.sha
 create mode 100644 build/arduino-builder-linux32-1.2.5.tar.bz2.sha
 delete mode 100644 build/arduino-builder-linux64-1.2.4.tar.bz2.sha
 create mode 100644 build/arduino-builder-linux64-1.2.5.tar.bz2.sha
 delete mode 100644 build/arduino-builder-macosx-1.2.4.tar.bz2.sha
 create mode 100644 build/arduino-builder-macosx-1.2.5.tar.bz2.sha
 delete mode 100644 build/arduino-builder-windows-1.2.4.zip.sha
 create mode 100644 build/arduino-builder-windows-1.2.5.zip.sha

diff --git a/build/arduino-builder-linux32-1.2.4.tar.bz2.sha b/build/arduino-builder-linux32-1.2.4.tar.bz2.sha
deleted file mode 100644
index b7eef4f8d..000000000
--- a/build/arduino-builder-linux32-1.2.4.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-998dfe3fd4ce31b1d80200ab732f0ccb449e3ddd
diff --git a/build/arduino-builder-linux32-1.2.5.tar.bz2.sha b/build/arduino-builder-linux32-1.2.5.tar.bz2.sha
new file mode 100644
index 000000000..5c4b138a0
--- /dev/null
+++ b/build/arduino-builder-linux32-1.2.5.tar.bz2.sha
@@ -0,0 +1 @@
+04a2b2ef620d7b6ae6818b2cac0d6cef79016ac2
diff --git a/build/arduino-builder-linux64-1.2.4.tar.bz2.sha b/build/arduino-builder-linux64-1.2.4.tar.bz2.sha
deleted file mode 100644
index a9cceaf70..000000000
--- a/build/arduino-builder-linux64-1.2.4.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-88b3d0e64af2be081380c1237dbec41665740196
diff --git a/build/arduino-builder-linux64-1.2.5.tar.bz2.sha b/build/arduino-builder-linux64-1.2.5.tar.bz2.sha
new file mode 100644
index 000000000..5eef784c8
--- /dev/null
+++ b/build/arduino-builder-linux64-1.2.5.tar.bz2.sha
@@ -0,0 +1 @@
+3b74d89ed8a41f6c8554682a608813f21b810dba
diff --git a/build/arduino-builder-macosx-1.2.4.tar.bz2.sha b/build/arduino-builder-macosx-1.2.4.tar.bz2.sha
deleted file mode 100644
index c696221d8..000000000
--- a/build/arduino-builder-macosx-1.2.4.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-c0fb19a39401a709ecb449026e2cfd344299d5db
diff --git a/build/arduino-builder-macosx-1.2.5.tar.bz2.sha b/build/arduino-builder-macosx-1.2.5.tar.bz2.sha
new file mode 100644
index 000000000..bcf1e18a0
--- /dev/null
+++ b/build/arduino-builder-macosx-1.2.5.tar.bz2.sha
@@ -0,0 +1 @@
+f4af0daea14e3a776530e2a332287adaad98d99a
diff --git a/build/arduino-builder-windows-1.2.4.zip.sha b/build/arduino-builder-windows-1.2.4.zip.sha
deleted file mode 100644
index f140afa7a..000000000
--- a/build/arduino-builder-windows-1.2.4.zip.sha
+++ /dev/null
@@ -1 +0,0 @@
-4d21ca36ab75dc37453dcf50bd1c3c04e494bf7b
diff --git a/build/arduino-builder-windows-1.2.5.zip.sha b/build/arduino-builder-windows-1.2.5.zip.sha
new file mode 100644
index 000000000..fa43ef696
--- /dev/null
+++ b/build/arduino-builder-windows-1.2.5.zip.sha
@@ -0,0 +1 @@
+79748ebac9af3f834ed7c35eec00cf26feb0757d
diff --git a/build/build.xml b/build/build.xml
index 526f091e2..b4fd9a0d0 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -71,7 +71,7 @@
     </or>
   </condition>
 
-  <property name="ARDUINO-BUILDER-VERSION" value="1.2.4" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.2.5" />
 
   <!-- Libraries required for running arduino -->
   <fileset dir=".." id="runtime.jars">