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 /platform.txt | |
| 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 'platform.txt')
| -rw-r--r-- | platform.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/platform.txt b/platform.txt index 83cf12b..0738d79 100644 --- a/platform.txt +++ b/platform.txt @@ -6,7 +6,7 @@ # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification name=Arduino AVR Boards -version=1.6.12 +version=1.6.13 # AVR compile variables # --------------------- |