From 227ffecb8326f85899607f7e821a601a916d24f9 Mon Sep 17 00:00:00 2001 From: Martin Kojtal Date: Wed, 20 Apr 2016 13:04:53 +0100 Subject: [PATCH] Make - handle invalid targets (catch KeyError) --- tools/make.py | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) 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,