I didn't want to add just another "Me too" to your ticket, but using Arduino-0022, Arduino 1.0 Beta 3, and Arduino 1.0 Beta 4: I've installed teesyduino into each of those directories and, while I do get the teensy additions showing in the IDE, modifying boards.txt (and restarting) does not change the compliation. It still recompiles all files.