mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
see #1227
windows zip reduced from 95M(403M uncompressed) to 83M(363M uncompressed)
This commit is contained in:
parent
d1bf880786
commit
d6aa373674
@ -639,6 +639,10 @@
|
||||
</chmod>
|
||||
|
||||
<antcall target="windows-unzip-arm-toolchain" />
|
||||
|
||||
<delete includeEmptyDirs="true" quiet="true">
|
||||
<fileset dir="windows/work/hardware/tools/avr/doc" />
|
||||
</delete>
|
||||
</target>
|
||||
|
||||
<target name="windows-run" depends="windows-build"
|
||||
|
Loading…
x
Reference in New Issue
Block a user