mbedmicro/mbed — pull request #587 by EmBlocks (2014-10-21 12:13:54+00:00)
Title: GCC toolchain filter to supported target list.

I was expecting that the front-end uses the TOOLCHAIN variable as a first filter which exports are available for export. This isn't true so I have added a filter to the EmBlocks target list to return only the GCC supported targets.