rooty/Arduino
1
0
Fork 0
mirror of https://github.com/arduino/Arduino.git synced 2025-02-26 20:54:22 +01:00
Code Issues Releases Activity

Fix ARDUINO-CLI extraction on windows

Browse Source
This commit is contained in:
Martino Facchin 2019-07-19 16:54:37 +02:00
parent bc8b9db711
commit cb69872e73
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build/build.xml
View File

@ -1210,7 +1210,7 @@
<delete dir="${staging_folder}/arduino-cli-windows" includeemptydirs="true"/>
<mkdir dir="${staging_folder}/arduino-cli-windows"/>
<antcall target="unzip-with-ant-task">
<antcall target="unzip">
<param name="archive_file" value="./arduino-cli-${ARDUINO-CLI-VERSION}-windows.zip" />
<param name="archive_url" value="https://downloads.arduino.cc/arduino-cli/arduino-cli-${ARDUINO-CLI-VERSION}-windows.zip" />
<param name="final_folder" value="${staging_folder}/arduino-cli-windows/arduino-cli-${ARDUINO-CLI-VERSION}-windows.exe" />