Ben Katz / mbed-dev-f303

mbed library sources. Supersedes mbed-src.

Dependents:   Hobbyking_Cheetah_Compact Hobbyking_Cheetah_Compact_DRV8323_14bit Hobbyking_Cheetah_Compact_DRV8323_V51_201907 HKC_MiniCheetah ... more

Fork of mbed-dev by mbed official

Diff: platform/mbed_sdk_boot.c

Revision:
174:b96e65c34a4d
Parent:
167:e84263d55307
--- a/platform/mbed_sdk_boot.c	Fri Sep 15 14:59:18 2017 +0100
+++ b/platform/mbed_sdk_boot.c	Mon Oct 02 15:33:19 2017 +0100
@@ -67,7 +67,7 @@
 
 /* Toolchain specific main code */
 
-#if defined (__CC_ARM)
+#if defined (__CC_ARM) || (defined(__ARMCC_VERSION) && (__ARMCC_VERSION >= 5010060))
 
 int $Super$$main(void);