mirror of
https://github.com/arduino/Arduino.git
synced 2024-12-01 12:24:14 +01:00
Copy package_index_bundled to distrib hardware folder
This commit is contained in:
parent
8ae47f3b5d
commit
bc19d7b57e
@ -271,6 +271,7 @@
|
||||
<param name="final_folder" value="${target.path}/hardware/arduino/avr"/>
|
||||
<param name="dest_folder" value="${target.path}/hardware/arduino"/>
|
||||
</antcall>
|
||||
<copy file="../hardware/package_index_bundled.json" todir="${target.path}/hardware/" />
|
||||
</target>
|
||||
|
||||
<!-- - - - - - - - - -->
|
||||
|
Loading…
Reference in New Issue
Block a user