X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=wizard%2Ftoolchain_manager.py;h=1dcca928bb9b1bbe813c5617ba0446193b21619d;hb=81dd8b3c42c13afc37f14b89f9638f2f4906657a;hp=8f18d9a9a59b65ecd4ebcb3cc00474a8703a34a4;hpb=d9fe3f9d7d77c90968bd26fc1fa5b89d2b010a64;p=bertos.git diff --git a/wizard/toolchain_manager.py b/wizard/toolchain_manager.py index 8f18d9a9..1dcca928 100755 --- a/wizard/toolchain_manager.py +++ b/wizard/toolchain_manager.py @@ -28,7 +28,6 @@ # # Copyright 2008 Develer S.r.l. (http://www.develer.com/) # -# $Id$ # # Author: Lorenzo Berni # @@ -127,7 +126,8 @@ class ToolchainManager(object): toolchains = self.toolchains suitable_toolchains = [] for name, info in toolchains: - if info and info.get('target', None) == target: + t = info.get("target", None) + if t and t.find(target) != -1: suitable_toolchains.append(name) return suitable_toolchains