1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00

update arduino-builder to 1.3.14

This commit is contained in:
Martino Facchin 2016-03-09 15:44:52 +01:00
parent 1f6462d59b
commit 03b08c36e2
10 changed files with 6 additions and 7 deletions

View File

@ -1 +0,0 @@
e899d2a71c115bfe8f73d082d27951feef964d43

View File

@ -1 +0,0 @@
b74cdcdc3056ce130e72b5f7b3812958b6e7b690

View File

@ -0,0 +1 @@
8cff35ac5691c15fe1825e8d166c6c0ccc001b44

View File

@ -1 +0,0 @@
d151d4111fd1a8127f27b276787c13a0dd98549e

View File

@ -0,0 +1 @@
d6b64b953292a503385976b6f9893eb55ac13828

View File

@ -1 +0,0 @@
c92710bf6f124a6af0bcf280da699ea0a1727897

View File

@ -0,0 +1 @@
df319e9b7c8fae287890539d03d156870b4eb89e

View File

@ -1 +0,0 @@
ef802468ff5e196231c2599a0b5f2f2dd41c61a3

View File

@ -0,0 +1 @@
efcf35dd0e503183451be9b0b3ce5ca1eb2419b9

View File

@ -77,7 +77,7 @@
<property name="portable" value="false" />
<property name="ARDUINO-BUILDER-VERSION" value="1.3.13" />
<property name="ARDUINO-BUILDER-VERSION" value="1.3.14" />
<!-- Libraries required for running arduino -->
<fileset dir=".." id="runtime.jars">
@ -927,7 +927,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-arduino9/ctags.exe" />
<chmod perm="755" file="windows/work/tools-builder/ctags/5.8-arduino10/ctags.exe" />
<copy todir="windows/work/hardware" overwrite="true">
<fileset dir="${staging_folder}/arduino-builder-windows/hardware" includes="*.txt"/>
</copy>