mbedmicro/mbed — pull request #179 by oliviermartin (2014-02-20 00:20:29+00:00)
Title: Added error message to build.py

These changes add the execution right for build.py - it is required to run this script from Linux shell.

I also added checks to ensure the given toolchain and MCU are supported by build.py.