From 60ba8661d82c53d93a6740ec3f454e17cb301263 Mon Sep 17 00:00:00 2001
From: Martino Facchin <m.facchin@arduino.cc>
Date: Tue, 8 Mar 2016 11:13:50 +0100
Subject: [PATCH] update arduino-builder to 1.3.13

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

diff --git a/build/arduino-builder-arm-1.3.13.tar.bz2.sha b/build/arduino-builder-arm-1.3.13.tar.bz2.sha
new file mode 100644
index 000000000..f77fb764c
--- /dev/null
+++ b/build/arduino-builder-arm-1.3.13.tar.bz2.sha
@@ -0,0 +1 @@
+e899d2a71c115bfe8f73d082d27951feef964d43
diff --git a/build/arduino-builder-linux32-1.3.11.tar.bz2.sha b/build/arduino-builder-linux32-1.3.11.tar.bz2.sha
deleted file mode 100644
index 5941333cf..000000000
--- a/build/arduino-builder-linux32-1.3.11.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-bd7e378b422312d2564cd94f770569607292a9e4
diff --git a/build/arduino-builder-linux32-1.3.13.tar.bz2.sha b/build/arduino-builder-linux32-1.3.13.tar.bz2.sha
new file mode 100644
index 000000000..8b860822e
--- /dev/null
+++ b/build/arduino-builder-linux32-1.3.13.tar.bz2.sha
@@ -0,0 +1 @@
+b74cdcdc3056ce130e72b5f7b3812958b6e7b690
diff --git a/build/arduino-builder-linux64-1.3.11.tar.bz2.sha b/build/arduino-builder-linux64-1.3.11.tar.bz2.sha
deleted file mode 100644
index 88e2cc66d..000000000
--- a/build/arduino-builder-linux64-1.3.11.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-e48746e807410b4e71ac8bef6d822c7e7ddb0dc2
diff --git a/build/arduino-builder-linux64-1.3.13.tar.bz2.sha b/build/arduino-builder-linux64-1.3.13.tar.bz2.sha
new file mode 100644
index 000000000..e98103fe7
--- /dev/null
+++ b/build/arduino-builder-linux64-1.3.13.tar.bz2.sha
@@ -0,0 +1 @@
+d151d4111fd1a8127f27b276787c13a0dd98549e
diff --git a/build/arduino-builder-macosx-1.3.11.tar.bz2.sha b/build/arduino-builder-macosx-1.3.11.tar.bz2.sha
deleted file mode 100644
index 7049aec6b..000000000
--- a/build/arduino-builder-macosx-1.3.11.tar.bz2.sha
+++ /dev/null
@@ -1 +0,0 @@
-4f0db525df3e391c818cad56221d428cfc626682
diff --git a/build/arduino-builder-macosx-1.3.13.tar.bz2.sha b/build/arduino-builder-macosx-1.3.13.tar.bz2.sha
new file mode 100644
index 000000000..6380af4f3
--- /dev/null
+++ b/build/arduino-builder-macosx-1.3.13.tar.bz2.sha
@@ -0,0 +1 @@
+c92710bf6f124a6af0bcf280da699ea0a1727897
diff --git a/build/arduino-builder-windows-1.3.11.zip.sha b/build/arduino-builder-windows-1.3.11.zip.sha
deleted file mode 100644
index 1e5d53534..000000000
--- a/build/arduino-builder-windows-1.3.11.zip.sha
+++ /dev/null
@@ -1 +0,0 @@
-5b2e4b95adbf4262ee20b1ec9c263c285dd1829c
diff --git a/build/arduino-builder-windows-1.3.13.zip.sha b/build/arduino-builder-windows-1.3.13.zip.sha
new file mode 100644
index 000000000..43e78b780
--- /dev/null
+++ b/build/arduino-builder-windows-1.3.13.zip.sha
@@ -0,0 +1 @@
+ef802468ff5e196231c2599a0b5f2f2dd41c61a3
diff --git a/build/build.xml b/build/build.xml
index 03f6ddf1c..a8e3e244f 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.11" />
+  <property name="ARDUINO-BUILDER-VERSION" value="1.3.13" />
 
   <!-- Libraries required for running arduino -->
   <fileset dir=".." id="runtime.jars">
@@ -923,7 +923,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-arduino7/ctags.exe" />
+    <chmod perm="755" file="windows/work/tools-builder/ctags/5.8-arduino9/ctags.exe" />
     <copy todir="windows/work/hardware" overwrite="true">
       <fileset dir="${staging_folder}/arduino-builder-windows/hardware" includes="*.txt"/>
     </copy>