Speed up CI builds with caching hacks#5539

Merged

earlephilhower merged 16 commits intoesp8266:masterfrom

earlephilhower:cachebuild

Jan 5, 2019

Commits on Dec 21, 2018

Cache core.a for CI builds

Earle F. Philhower, III
authored and
Earle F. Philhower, III
committed
Merge branch 'master' into cachebuild
earlephilhower
authored
Hack to ensure core.a looks newer during builds
earlephilhower
committed
Try removing file updates
earlephilhower
committed

Commits on Jan 3, 2019

Try and keep build.options.json
earlephilhower
committed
Merge branch 'master' into cachebuild
earlephilhower
authored
Try and keep build.options.json
earlephilhower
committed
Merge branch 'cachebuild' of https://github.com/earlephilhower/Arduino into cachebuild
earlephilhower
committed
Undo platform.txt change
earlephilhower
committed
Check output files
earlephilhower
committed
Remove old elf/bin/maps from build dir
earlephilhower
committed
Cleanup comments explaining the build logic
earlephilhower
authored
Clean up build.options.json and core.a adjustment

Earle F. Philhower, III
authored and
Earle F. Philhower, III
committed

Commits on Jan 4, 2019

Merge branch 'master' into cachebuild
earlephilhower
authored

Commits on Jan 5, 2019