From 3f27ab4026c4dd46c460cf84f1274a40b370e5e1 Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@arduino.cc>
Date: Tue, 9 Feb 2016 12:30:41 +0100
Subject: [PATCH] Update arduino-builder to 1.3.11

---
 build/arduino-builder-linux32-1.3.10.tar.bz2.sha | 1 -
 build/arduino-builder-linux32-1.3.11.tar.bz2.sha | 1 +
 build/arduino-builder-linux64-1.3.10.tar.bz2.sha | 1 -
 build/arduino-builder-linux64-1.3.11.tar.bz2.sha | 1 +
 build/arduino-builder-macosx-1.3.10.tar.bz2.sha  | 1 -
 build/arduino-builder-macosx-1.3.11.tar.bz2.sha  | 1 +
 build/arduino-builder-windows-1.3.10.zip.sha     | 1 -
 build/arduino-builder-windows-1.3.11.zip.sha     | 1 +
 build/build.xml                                  | 4 ++--
 9 files changed, 6 insertions(+), 6 deletions(-)
 delete mode 100644 build/arduino-builder-linux32-1.3.10.tar.bz2.sha
 create mode 100644 build/arduino-builder-linux32-1.3.11.tar.bz2.sha
 delete mode 100644 build/arduino-builder-linux64-1.3.10.tar.bz2.sha
 create mode 100644 build/arduino-builder-linux64-1.3.11.tar.bz2.sha
 delete mode 100644 build/arduino-builder-macosx-1.3.10.tar.bz2.sha
 create mode 100644 build/arduino-builder-macosx-1.3.11.tar.bz2.sha
 delete mode 100644 build/arduino-builder-windows-1.3.10.zip.sha
 create mode 100644 build/arduino-builder-windows-1.3.11.zip.sha

diff --git a/build/arduino-builder-linux32-1.3.10.tar.bz2.sha b/build/arduino-builder-linux32-1.3.10.tar.bz2.sha
deleted file mode 100644
index 7cbcb41e5..000000000
--- a/build/arduino-builder-linux32-1.3.10.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-26377e7ef2fb521c2321a896c3cdece0188dd630
diff --git a/build/arduino-builder-linux32-1.3.11.tar.bz2.sha b/build/arduino-builder-linux32-1.3.11.tar.bz2.sha
new file mode 100644
index 000000000..5941333cf
--- /dev/null
+++ b/build/arduino-builder-linux32-1.3.11.tar.bz2.sha
@@ -0,0 +1 @@
+bd7e378b422312d2564cd94f770569607292a9e4
diff --git a/build/arduino-builder-linux64-1.3.10.tar.bz2.sha b/build/arduino-builder-linux64-1.3.10.tar.bz2.sha
deleted file mode 100644
index 4ca2be77b..000000000
--- a/build/arduino-builder-linux64-1.3.10.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-c12d4444718f18d52bf12b62d2158b426212d777
diff --git a/build/arduino-builder-linux64-1.3.11.tar.bz2.sha b/build/arduino-builder-linux64-1.3.11.tar.bz2.sha
new file mode 100644
index 000000000..88e2cc66d
--- /dev/null
+++ b/build/arduino-builder-linux64-1.3.11.tar.bz2.sha
@@ -0,0 +1 @@
+e48746e807410b4e71ac8bef6d822c7e7ddb0dc2
diff --git a/build/arduino-builder-macosx-1.3.10.tar.bz2.sha b/build/arduino-builder-macosx-1.3.10.tar.bz2.sha
deleted file mode 100644
index c9ba19786..000000000
--- a/build/arduino-builder-macosx-1.3.10.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-c164df8696423a72fdceef75e70d73f0b9aaa8ec
diff --git a/build/arduino-builder-macosx-1.3.11.tar.bz2.sha b/build/arduino-builder-macosx-1.3.11.tar.bz2.sha
new file mode 100644
index 000000000..7049aec6b
--- /dev/null
+++ b/build/arduino-builder-macosx-1.3.11.tar.bz2.sha
@@ -0,0 +1 @@
+4f0db525df3e391c818cad56221d428cfc626682
diff --git a/build/arduino-builder-windows-1.3.10.zip.sha b/build/arduino-builder-windows-1.3.10.zip.sha
deleted file mode 100644
index 08a2b216c..000000000
--- a/build/arduino-builder-windows-1.3.10.zip.sha
+++ /dev/null
@@ -1 +0,0 @@
-c52b8da5ee46c5f50d8d53781faed9834173c824
diff --git a/build/arduino-builder-windows-1.3.11.zip.sha b/build/arduino-builder-windows-1.3.11.zip.sha
new file mode 100644
index 000000000..1e5d53534
--- /dev/null
+++ b/build/arduino-builder-windows-1.3.11.zip.sha
@@ -0,0 +1 @@
+5b2e4b95adbf4262ee20b1ec9c263c285dd1829c
diff --git a/build/build.xml b/build/build.xml
index 1764bbf13..15d9d7887 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.10" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.3.11" />
 
   <!-- Libraries required for running arduino -->
   <fileset dir=".." id="runtime.jars">
@@ -885,7 +885,7 @@
     <copy file="${staging_folder}/arduino-builder-windows/arduino-builder.exe" tofile="windows/work/arduino-builder.exe" />
     <chmod perm="755" file="windows/work/arduino-builder.exe" />
     <move file="${staging_folder}/arduino-builder-windows/tools" tofile="windows/work/tools-builder"/>
-    <chmod perm="755" file="windows/work/tools-builder/ctags/5.8-arduino6/ctags.exe" />
+    <chmod perm="755" file="windows/work/tools-builder/ctags/5.8-arduino7/ctags.exe" />
     <copy todir="windows/work/hardware" overwrite="true">
       <fileset dir="${staging_folder}/arduino-builder-windows/hardware" includes="*.txt"/>
     </copy>