diff options
author | Cristian Maglie <c.maglie@arduino.cc> | 2016-08-11 10:46:28 +0200 |
---|---|---|
committer | Cristian Maglie <c.maglie@arduino.cc> | 2016-08-11 11:02:03 +0200 |
commit | b56872d6fa8b7cee06b7ec15681a68f56ddbff96 (patch) | |
tree | 1ccd4f46ef67786dd1a0737e00afd2d115a4f1de /libraries/EEPROM/library.properties | |
parent | 11b611fec71bc09a85480dcc8024c06aa00b66ae (diff) |
Use a specific hardware/package_index_bundled.json. AVR core version to 1.6.13
Previously, during the build, the full package_index.json was downloaded
and distributed with the Arduino IDE.
This lead to a situation where it was difficult to test new AVR cores
before publishing them to the public package_index.json.
Now the bundled AVR core is specificed in the file:
`hardware/package_index_bundled.json`
this index is loaded from the IDE at startup and the package_index.json
is overlayed on it.
This should also solve part of #5143 (Repeatable builds and snapshots of
package/library indexes)
Diffstat (limited to 'libraries/EEPROM/library.properties')
0 files changed, 0 insertions, 0 deletions