rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-01-30 19:52:13 +01:00
Code Issues Releases Activity

Merge branch 'permission_fix' of https://github.com/NicoHood/Arduino

Browse Source
This commit is contained in:
Cristian Maglie 2016-08-29 17:33:09 +02:00
commit a13cbcfc1c
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build/build.xml
View File

@ -196,6 +196,10 @@
<param name="dest_folder" value="${target.path}/reference/" />
</antcall>
<!-- Fix wrong permissions from zip file root folder -->
<chmod perm="755" dir="${target.path}/reference/Galileo_help_files" />
<chmod perm="755" dir="${target.path}/reference/Edison_help_files" />
<!-- Write the revision file! -->
<echo file="${target.path}/lib/version.txt" message="${version}" />