mirror of https://github.com/ARMmbed/mbed-os.git
Make - handle invalid targets (catch KeyError)
parent
7f1306f2f0
commit
227ffecb83
|
@ -240,7 +240,12 @@ if __name__ == '__main__':
|
|||
if options.build_dir is not None:
|
||||
build_dir = options.build_dir
|
||||
|
||||
target = TARGET_MAP[mcu]
|
||||
try:
|
||||
target = TARGET_MAP[mcu]
|
||||
except KeyError:
|
||||
print "[ERROR] Target %s not supported" % mcu
|
||||
sys.exit(1)
|
||||
|
||||
try:
|
||||
bin_file = build_project(test.source_dir, build_dir, target, toolchain, test.dependencies, options.options,
|
||||
linker_script=options.linker_script,
|
||||
|
|
Loading…
Reference in New Issue