From 25fe4f427c18ad352c4dcd6c8c988ff5431c5c3e Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Fri, 1 Jul 2016 12:57:52 +0200
Subject: [PATCH] Update arduino-builder to 1.3.19

---
 build/arduino-builder-arm-1.3.18.tar.bz2.sha     | 1 -
 build/arduino-builder-arm-1.3.19.tar.bz2.sha     | 1 +
 build/arduino-builder-linux32-1.3.18.tar.bz2.sha | 1 -
 build/arduino-builder-linux32-1.3.19.tar.bz2.sha | 1 +
 build/arduino-builder-linux64-1.3.18.tar.bz2.sha | 1 -
 build/arduino-builder-linux64-1.3.19.tar.bz2.sha | 1 +
 build/arduino-builder-macosx-1.3.18.tar.bz2.sha  | 1 -
 build/arduino-builder-macosx-1.3.19.tar.bz2.sha  | 1 +
 build/arduino-builder-windows-1.3.18.zip.sha     | 1 -
 build/arduino-builder-windows-1.3.19.zip.sha     | 1 +
 build/build.xml                                  | 2 +-
 build/shared/revisions.txt                       | 2 ++
 12 files changed, 8 insertions(+), 6 deletions(-)
 delete mode 100644 build/arduino-builder-arm-1.3.18.tar.bz2.sha
 create mode 100644 build/arduino-builder-arm-1.3.19.tar.bz2.sha
 delete mode 100644 build/arduino-builder-linux32-1.3.18.tar.bz2.sha
 create mode 100644 build/arduino-builder-linux32-1.3.19.tar.bz2.sha
 delete mode 100644 build/arduino-builder-linux64-1.3.18.tar.bz2.sha
 create mode 100644 build/arduino-builder-linux64-1.3.19.tar.bz2.sha
 delete mode 100644 build/arduino-builder-macosx-1.3.18.tar.bz2.sha
 create mode 100644 build/arduino-builder-macosx-1.3.19.tar.bz2.sha
 delete mode 100644 build/arduino-builder-windows-1.3.18.zip.sha
 create mode 100644 build/arduino-builder-windows-1.3.19.zip.sha

diff --git a/build/arduino-builder-arm-1.3.18.tar.bz2.sha b/build/arduino-builder-arm-1.3.18.tar.bz2.sha
deleted file mode 100644
index 635a2810f..000000000
--- a/build/arduino-builder-arm-1.3.18.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-41089523a1342a99182fb3c65fd5015abf078cb4
diff --git a/build/arduino-builder-arm-1.3.19.tar.bz2.sha b/build/arduino-builder-arm-1.3.19.tar.bz2.sha
new file mode 100644
index 000000000..eaa05431a
--- /dev/null
+++ b/build/arduino-builder-arm-1.3.19.tar.bz2.sha
@@ -0,0 +1 @@
+20520fce81997e40b01d003e4c5c00a0b8036c57
diff --git a/build/arduino-builder-linux32-1.3.18.tar.bz2.sha b/build/arduino-builder-linux32-1.3.18.tar.bz2.sha
deleted file mode 100644
index da884b44a..000000000
--- a/build/arduino-builder-linux32-1.3.18.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-4cca74764483e207f92de05715c4c6d66ea2cb00
diff --git a/build/arduino-builder-linux32-1.3.19.tar.bz2.sha b/build/arduino-builder-linux32-1.3.19.tar.bz2.sha
new file mode 100644
index 000000000..a22d594e6
--- /dev/null
+++ b/build/arduino-builder-linux32-1.3.19.tar.bz2.sha
@@ -0,0 +1 @@
+c2d8c712d908b370314a98cebe9bbf2ec621f5c6
diff --git a/build/arduino-builder-linux64-1.3.18.tar.bz2.sha b/build/arduino-builder-linux64-1.3.18.tar.bz2.sha
deleted file mode 100644
index a7caf3872..000000000
--- a/build/arduino-builder-linux64-1.3.18.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-ac70bb95f582fe6aacc5377453bbafaf022ce1ef
diff --git a/build/arduino-builder-linux64-1.3.19.tar.bz2.sha b/build/arduino-builder-linux64-1.3.19.tar.bz2.sha
new file mode 100644
index 000000000..24b63fadb
--- /dev/null
+++ b/build/arduino-builder-linux64-1.3.19.tar.bz2.sha
@@ -0,0 +1 @@
+66bb29b2ddcf1bc3896e2ccfa396353ea6735cc7
diff --git a/build/arduino-builder-macosx-1.3.18.tar.bz2.sha b/build/arduino-builder-macosx-1.3.18.tar.bz2.sha
deleted file mode 100644
index a083110ab..000000000
--- a/build/arduino-builder-macosx-1.3.18.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-099b893d16e354f77c93f8d5fe75a1c4fa3e962e
diff --git a/build/arduino-builder-macosx-1.3.19.tar.bz2.sha b/build/arduino-builder-macosx-1.3.19.tar.bz2.sha
new file mode 100644
index 000000000..03c5d97c4
--- /dev/null
+++ b/build/arduino-builder-macosx-1.3.19.tar.bz2.sha
@@ -0,0 +1 @@
+f933da93b97b8981298b2e289d8650536b5978d5
diff --git a/build/arduino-builder-windows-1.3.18.zip.sha b/build/arduino-builder-windows-1.3.18.zip.sha
deleted file mode 100644
index b178adff3..000000000
--- a/build/arduino-builder-windows-1.3.18.zip.sha
+++ /dev/null
@@ -1 +0,0 @@
-57e87042e589fc84e58c6bea0d4ab15f9d936b32
diff --git a/build/arduino-builder-windows-1.3.19.zip.sha b/build/arduino-builder-windows-1.3.19.zip.sha
new file mode 100644
index 000000000..8c7f4f3b1
--- /dev/null
+++ b/build/arduino-builder-windows-1.3.19.zip.sha
@@ -0,0 +1 @@
+1cd4a97fba256a4560d4da68cbead738bf4e8312
diff --git a/build/build.xml b/build/build.xml
index ce41988ba..01bb0d90e 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -89,7 +89,7 @@
 
   <property name="portable" value="false" />
 
-  <property name="ARDUINO-BUILDER-VERSION" value="1.3.18" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.3.19" />
   <property name="LIBLISTSERIAL-VERSION" value="1.1.0" />
 
   <!-- Libraries required for running arduino -->
diff --git a/build/shared/revisions.txt b/build/shared/revisions.txt
index 91cf7d651..b3b9555bf 100644
--- a/build/shared/revisions.txt
+++ b/build/shared/revisions.txt
@@ -1,6 +1,8 @@
 ARDUINO 1.6.10
 
 [ide]
+* A lot of bugfixes to builder:
+  https://github.com/arduino/arduino-builder/issues?q=milestone%3A1.3.19+is%3Aclosed
 
 [core]
 * fixed a small bug that caused a compile error on some 3rd party derivatives