From 78ddbdbfb3a19aa195d0531be2260939378bf5d3 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Fri, 11 Dec 2015 14:34:54 +0100
Subject: [PATCH] Updating arduino-builder to 1.3.8

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

diff --git a/build/arduino-builder-linux32-1.3.7.tar.bz2.sha b/build/arduino-builder-linux32-1.3.7.tar.bz2.sha
deleted file mode 100644
index 657c24c36..000000000
--- a/build/arduino-builder-linux32-1.3.7.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-616acac0908c873b01b627a7902d4ffe454048bd
diff --git a/build/arduino-builder-linux32-1.3.8.tar.bz2.sha b/build/arduino-builder-linux32-1.3.8.tar.bz2.sha
new file mode 100644
index 000000000..87edd829e
--- /dev/null
+++ b/build/arduino-builder-linux32-1.3.8.tar.bz2.sha
@@ -0,0 +1 @@
+bfb3fec7c2252e434fdf9c265a6ee0964c08d0f3
diff --git a/build/arduino-builder-linux64-1.3.7.tar.bz2.sha b/build/arduino-builder-linux64-1.3.7.tar.bz2.sha
deleted file mode 100644
index 88592822a..000000000
--- a/build/arduino-builder-linux64-1.3.7.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-5b427ca5f56cd38ac90b0cf2beb236dde6d7e576
diff --git a/build/arduino-builder-linux64-1.3.8.tar.bz2.sha b/build/arduino-builder-linux64-1.3.8.tar.bz2.sha
new file mode 100644
index 000000000..b24f34c57
--- /dev/null
+++ b/build/arduino-builder-linux64-1.3.8.tar.bz2.sha
@@ -0,0 +1 @@
+62899b02a0fbc753edb7bae8c0495421c1aa2cc3
diff --git a/build/arduino-builder-macosx-1.3.7.tar.bz2.sha b/build/arduino-builder-macosx-1.3.7.tar.bz2.sha
deleted file mode 100644
index b5e653cde..000000000
--- a/build/arduino-builder-macosx-1.3.7.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-ae2c591c663ce417c03bd04cb119ae2bc721d379
diff --git a/build/arduino-builder-macosx-1.3.8.tar.bz2.sha b/build/arduino-builder-macosx-1.3.8.tar.bz2.sha
new file mode 100644
index 000000000..0e5145e37
--- /dev/null
+++ b/build/arduino-builder-macosx-1.3.8.tar.bz2.sha
@@ -0,0 +1 @@
+4d389dd3070143465410159f6a82c1bfb48c0d32
diff --git a/build/arduino-builder-windows-1.3.7.zip.sha b/build/arduino-builder-windows-1.3.7.zip.sha
deleted file mode 100644
index 26408fb3c..000000000
--- a/build/arduino-builder-windows-1.3.7.zip.sha
+++ /dev/null
@@ -1 +0,0 @@
-6ec1252e3d8c5d7975b89eb221854ed3c0d7494f
diff --git a/build/arduino-builder-windows-1.3.8.zip.sha b/build/arduino-builder-windows-1.3.8.zip.sha
new file mode 100644
index 000000000..c128b6910
--- /dev/null
+++ b/build/arduino-builder-windows-1.3.8.zip.sha
@@ -0,0 +1 @@
+0f53b4975c115f22cc3d3b600ef2370e03a3706b
diff --git a/build/build.xml b/build/build.xml
index aece76e3a..f5ef229ed 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -73,7 +73,7 @@
 
   <property name="portable" value="false" />
 
-  <property name="ARDUINO-BUILDER-VERSION" value="1.3.7" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.3.8" />
 
   <!-- Libraries required for running arduino -->
   <fileset dir=".." id="runtime.jars">