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

Make release errors very visible

pull/7183/head
Jimmy Brisson 2018-07-10 13:36:01 -05:00
parent e9d56092c4
commit 447acd0360
1 changed files with 9 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
tools/build_release.py
View File

@ -168,23 +168,16 @@ if __name__ == '__main__':
toolchains = toolchainSet.intersection(set((options.toolchains).split(','))) toolchains = toolchainSet.intersection(set((options.toolchains).split(',')))
for toolchain in toolchains: for toolchain in toolchains:
id = "%s::%s" % (target_name, toolchain) built_mbed_lib = build_mbed_libs(
TARGET_MAP[target_name],
profile = extract_profile(parser, options, toolchain)
notify = TerminalNotifier(options.verbose)
try:
built_mbed_lib = build_mbed_libs(TARGET_MAP[target_name],
toolchain, toolchain,
notify=notify, notify=TerminalNotifier(options.verbose),
jobs=options.jobs, jobs=options.jobs,
report=build_report, report=build_report,
properties=build_properties, properties=build_properties,
build_profile=profile) build_profile=extract_profile(parser, options, toolchain),
)
except Exception, e:
print str(e)
status = False
# copy targets.json file as part of the release # copy targets.json file as part of the release
copy(join(dirname(abspath(__file__)), '..', 'targets', 'targets.json'), MBED_LIBRARIES) copy(join(dirname(abspath(__file__)), '..', 'targets', 'targets.json'), MBED_LIBRARIES)