mbed official / mbed-dev

mbed library sources. Supersedes mbed-src.

Dependents:   Nucleo_Hello_Encoder BLE_iBeaconScan AM1805_DEMO DISCO-F429ZI_ExportTemplate1 ... more

Diff: platform/mbed_sdk_boot.c

Revision:
174:b96e65c34a4d
Parent:
167:e84263d55307
Child:
187:0387e8f68319
--- 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);