From bd8fcebfdedb195802947060fb0184ff566188b0 Mon Sep 17 00:00:00 2001 From: Brian Daniels Date: Tue, 12 Jan 2016 15:34:02 -0600 Subject: [PATCH] Fixes toolchain filtering --- workspace_tools/build_release.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/workspace_tools/build_release.py b/workspace_tools/build_release.py index 2aebcb5d61c..75b095487e9 100644 --- a/workspace_tools/build_release.py +++ b/workspace_tools/build_release.py @@ -177,7 +177,7 @@ if options.toolchains: print "Only building using the following toolchains: %s" % (options.toolchains) toolchainSet = set(toolchains) - toolchains = toolchainSet and set((options.toolchains).split(',')) + toolchains = toolchainSet.intersection(set((options.toolchains).split(','))) for toolchain in toolchains: id = "%s::%s" % (target_name, toolchain)