From 454ce65693ca5475e4b8c0b32633a0629e619f30 Mon Sep 17 00:00:00 2001
From: Bogdan Marinescu <bogdan.marinescu@arm.com>
Date: Mon, 29 Jul 2013 19:03:19 +0300
Subject: [PATCH] Added armcc support for STM32F407

---
 workspace_tools/targets.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/workspace_tools/targets.py b/workspace_tools/targets.py
index 330a6b38dc..dd179c1d0b 100644
--- a/workspace_tools/targets.py
+++ b/workspace_tools/targets.py
@@ -152,7 +152,7 @@ class STM32F407(Target):
         
         self.extra_labels = ['STM', 'STM32F4XX']
         
-        self.supported_toolchains = ["GCC_ARM"]
+        self.supported_toolchains = ["ARM", "GCC_ARM"]
 
 
 class MBED_MCU(Target):