t

Fork of mbed-dev by mbed official

Revision:
175:b96e65c34a4d
Parent:
168: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);