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

Handle [NOT_SUPPORTED] exception in make.py 

That let us to ignore build failures for examples on not supported
platforms.
pull/3139/head
Bartek Szatkowski 2016-10-26 17:33:36 +01:00
parent d7c02a13b1
commit aa3a127c76
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
tools/make.py
View File

@ -29,6 +29,7 @@ ROOT = abspath(join(dirname(__file__), ".."))
sys.path.insert(0, ROOT) sys.path.insert(0, ROOT)
from tools.utils import args_error from tools.utils import args_error
from tools.utils import NotSupportedException
from tools.paths import BUILD_DIR from tools.paths import BUILD_DIR
from tools.paths import MBED_LIBRARIES from tools.paths import MBED_LIBRARIES
from tools.paths import RTOS_LIBRARIES from tools.paths import RTOS_LIBRARIES
@ -326,6 +327,8 @@ if __name__ == '__main__':
except KeyboardInterrupt, e: except KeyboardInterrupt, e:
print "\n[CTRL+c] exit" print "\n[CTRL+c] exit"
except NotSupportedException, e:
print "\nNot supported for selected target"
except Exception,e: except Exception,e:
if options.verbose: if options.verbose:
import traceback import traceback