chipKIT32/chipKIT32-MAX — pull request #284 by EmbeddedMan (2012-09-28 14:23:51+00:00)
Title: Fix for issue #283 - added -fno-short-double to all custom board.txt entries

Eventually we won't need this once Jason makes this the compiler default. But for now . . .