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

Merge pull request from theotherjimmy/mbed2-use-notify 

Tool: Use TerminalNotifier in Mbed 2 release
pull/7159/head
Martin Kojtal 2018-06-07 09:17:45 +02:00 committed by GitHub
parent 4fcaa56b77 18bdf562af
commit 835d38db58
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 1 deletions

4
tools/build_release.py
View File

@ -36,6 +36,7 @@ from tools.test_api import SingleTestRunner
from tools.test_api import singletest_in_cli_mode
from tools.paths import TEST_DIR, MBED_LIBRARIES
from tools.tests import TEST_MAP
from tools.notifier.term import TerminalNotifier
OFFICIAL_MBED_LIBRARY_BUILD = get_mbed_official_release('2')
@ -168,11 +169,12 @@ if __name__ == '__main__':
id = "%s::%s" % (target_name, toolchain)
profile = extract_profile(parser, options, toolchain)
notify = TerminalNotifier(options.verbose)
try:
built_mbed_lib = build_mbed_libs(TARGET_MAP[target_name],
toolchain,
verbose=options.verbose,
notify=notify,
jobs=options.jobs,
report=build_report,
properties=build_properties,