diff --git a/tools/make.py b/tools/make.py index 6ae1e4b095..9c72cf17d4 100755 --- a/tools/make.py +++ b/tools/make.py @@ -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,