mbedmicro/mbed — pull request #70 by jorisa (2013-09-18 01:20:50+00:00)
Title: Replace #ifdef with #if DEVICE_STDIO_MESSAGES

DEVICE_STDIO_MESSAGES is the only #define in device.h that is being used in the library as #ifdef rather than #if. This is misleading since setting it to 0 will not disable including the libraries.