mbedmicro/mbed — pull request #10 by oampo (2013-07-03 12:21:22+00:00)
Title: Add debug-info option

Generates debug information when compiling the libraries.