From aa3a127c76cafe1ad759ea15d07da06e7c54f029 Mon Sep 17 00:00:00 2001 From: Bartek Szatkowski Date: Wed, 26 Oct 2016 17:33:36 +0100 Subject: [PATCH] Handle [NOT_SUPPORTED] exception in make.py That let us to ignore build failures for examples on not supported platforms. --- tools/make.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/make.py b/tools/make.py index 28767cd70c..0f84ebc32f 100644 --- a/tools/make.py +++ b/tools/make.py @@ -29,6 +29,7 @@ ROOT = abspath(join(dirname(__file__), "..")) sys.path.insert(0, ROOT) from tools.utils import args_error +from tools.utils import NotSupportedException from tools.paths import BUILD_DIR from tools.paths import MBED_LIBRARIES from tools.paths import RTOS_LIBRARIES @@ -326,6 +327,8 @@ if __name__ == '__main__': except KeyboardInterrupt, e: print "\n[CTRL+c] exit" + except NotSupportedException, e: + print "\nNot supported for selected target" except Exception,e: if options.verbose: import traceback