ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #179 from oliviermartin/om/build-added-error-msg 

Added error message to build.py
pull/185/head
Emilio Monti 2014-02-20 11:06:18 +00:00
parent 96dbf718f7 016053d21b
commit b828faff34
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
workspace_tools/build.py Normal file → Executable file
View File

@ -58,12 +58,18 @@ if __name__ == '__main__':
# Get target list # Get target list
if options.mcu: if options.mcu:
if options.mcu not in TARGET_NAMES:
print "Given MCU '%s' not into the supported list:\n%s" % (options.mcu, TARGET_NAMES)
sys.exit(1)
targets = [options.mcu] targets = [options.mcu]
else: else:
targets = TARGET_NAMES targets = TARGET_NAMES
# Get toolchains list # Get toolchains list
if options.tool: if options.tool:
if options.tool not in TOOLCHAINS:
print "Given toolchain '%s' not into the supported list:\n%s" % (options.tool, TOOLCHAINS)
sys.exit(1)
toolchains = [options.tool] toolchains = [options.tool]
else: else:
toolchains = TOOLCHAINS toolchains = TOOLCHAINS