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

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

diff --git a/build/arduino-builder-linux32-1.3.0.tar.bz2.sha b/build/arduino-builder-linux32-1.3.0.tar.bz2.sha
deleted file mode 100644
index 6910738a2..000000000
--- a/build/arduino-builder-linux32-1.3.0.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-9a9226e6bc21daff9540553e731d287c95f3c7e3
diff --git a/build/arduino-builder-linux32-1.3.1.tar.bz2.sha b/build/arduino-builder-linux32-1.3.1.tar.bz2.sha
new file mode 100644
index 000000000..23344580d
--- /dev/null
+++ b/build/arduino-builder-linux32-1.3.1.tar.bz2.sha
@@ -0,0 +1 @@
+1835ef0cdbb07ca5cba0cd1b67436c2367c24c51
diff --git a/build/arduino-builder-linux64-1.3.0.tar.bz2.sha b/build/arduino-builder-linux64-1.3.0.tar.bz2.sha
deleted file mode 100644
index 69cb74de1..000000000
--- a/build/arduino-builder-linux64-1.3.0.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-ace8392424b64f962276d500f2fa9f10033882fa
diff --git a/build/arduino-builder-linux64-1.3.1.tar.bz2.sha b/build/arduino-builder-linux64-1.3.1.tar.bz2.sha
new file mode 100644
index 000000000..60e9f2d95
--- /dev/null
+++ b/build/arduino-builder-linux64-1.3.1.tar.bz2.sha
@@ -0,0 +1 @@
+bda596f776ceb3e7e2f90ce0741d0e50677e5c59
diff --git a/build/arduino-builder-macosx-1.3.0.tar.bz2.sha b/build/arduino-builder-macosx-1.3.0.tar.bz2.sha
deleted file mode 100644
index 8bc40a694..000000000
--- a/build/arduino-builder-macosx-1.3.0.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-e113dc96051d3d193143e13196ac4d25567e3f20
diff --git a/build/arduino-builder-macosx-1.3.1.tar.bz2.sha b/build/arduino-builder-macosx-1.3.1.tar.bz2.sha
new file mode 100644
index 000000000..333c9d950
--- /dev/null
+++ b/build/arduino-builder-macosx-1.3.1.tar.bz2.sha
@@ -0,0 +1 @@
+c7fb46edddd348bf29c926c6e3465c5b77a62978
diff --git a/build/arduino-builder-windows-1.3.0.zip.sha b/build/arduino-builder-windows-1.3.0.zip.sha
deleted file mode 100644
index 1614a3657..000000000
--- a/build/arduino-builder-windows-1.3.0.zip.sha
+++ /dev/null
@@ -1 +0,0 @@
-ac6fa038a02f3dbbd5cecfdc785ecd24bff16c63
diff --git a/build/arduino-builder-windows-1.3.1.zip.sha b/build/arduino-builder-windows-1.3.1.zip.sha
new file mode 100644
index 000000000..7d5ea9ed9
--- /dev/null
+++ b/build/arduino-builder-windows-1.3.1.zip.sha
@@ -0,0 +1 @@
+4553209a20bf0294f30ecf9004f2dedc345fd07f
diff --git a/build/build.xml b/build/build.xml
index 6919e8cae..4b6e84996 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -71,7 +71,7 @@
     </or>
   </condition>
 
-  <property name="ARDUINO-BUILDER-VERSION" value="1.3.0" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.3.1" />
 
   <!-- Libraries required for running arduino -->
   <fileset dir=".." id="runtime.jars">