Paul Stoffregen over at PJRC sent us a link to this video highlighting how to modify the Arduino IDE by editing the boards.txt file to allow the compiler to use precompiled files. This helps to speed up the overall compile and upload process. A cool enhancement originally developed for the Teensyduino board.
Paul submitted this mod as an enhancement to the official Arduino IDE and it’s under consideration by the Arduino team. He asks you to give this mode a beta test and submit any comments to the “Issue 638” link given at the end of the video.
Via the contact form.