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

Added platform filter to build_release.py

pull/1166/head
Brian Daniels 2015-06-08 10:26:39 -05:00
parent 4e503efe2e
commit 0afe1e8059
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
workspace_tools/build_release.py
View File

@ -119,6 +119,8 @@ if __name__ == '__main__':
default=False, help="Verbose diagnostic output") default=False, help="Verbose diagnostic output")
parser.add_option("-t", "--toolchains", dest="toolchains", help="Use toolchains names separated by comma") parser.add_option("-t", "--toolchains", dest="toolchains", help="Use toolchains names separated by comma")
parser.add_option("-p", "--platforms", dest="platforms", default="", help="Build only for the platform namesseparated by comma")
parser.add_option("", "--report-build", dest="report_build_file_name", help="Output the build results to an html file") parser.add_option("", "--report-build", dest="report_build_file_name", help="Output the build results to an html file")
@ -128,7 +130,16 @@ if __name__ == '__main__':
successes = [] successes = []
skips = [] skips = []
build_report = [] build_report = []
platforms = None
if options.platforms != "":
platforms = set(options.platforms.split(","))
for target_name, toolchain_list in OFFICIAL_MBED_LIBRARY_BUILD: for target_name, toolchain_list in OFFICIAL_MBED_LIBRARY_BUILD:
if platforms is not None and not target_name in platforms:
print("Excluding %s from release" % target_name)
continue
if options.official_only: if options.official_only:
toolchains = (getattr(TARGET_MAP[target_name], 'default_toolchain', 'ARM'),) toolchains = (getattr(TARGET_MAP[target_name], 'default_toolchain', 'ARM'),)
else: else: