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 #1502 from bridadan/build-release-fix-toolchain-set 

Fixes toolchain filtering
pull/1503/head
Martin Kojtal 2016-01-13 12:42:17 +00:00
parent 2d4024eccb bd8fcebfde
commit c47cd8d483
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
workspace_tools/build_release.py
View File

@ -177,7 +177,7 @@ if __name__ == '__main__':
if options.toolchains: if options.toolchains:
print "Only building using the following toolchains: %s" % (options.toolchains) print "Only building using the following toolchains: %s" % (options.toolchains)
toolchainSet = set(toolchains) toolchainSet = set(toolchains)
toolchains = toolchainSet and 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) id = "%s::%s" % (target_name, toolchain)