mbedmicro/mbed — pull request #592 by ohagendorf (2014-10-22 23:01:39+00:00)
Title: [BUILD_RELEASE.py] some missing toolchain entries

Added some missing gcc_arm toolchain entries in build_release.py where exporters already existed.