mbedmicro/mbed — pull request #626 by ohagendorf (2014-10-31 13:02:30+00:00)
Title: [MAKE.py] [BUILD.py] some minor changes in help text - sorting longer lists

Sorting the entries in mcu and toolchain lists when printing the help text as already done in project.py in #563.