diff --git a/platform/mbed_sdk_boot.c b/platform/mbed_sdk_boot.c
index de6add221c..4799e2c531 100644
--- a/platform/mbed_sdk_boot.c
+++ b/platform/mbed_sdk_boot.c
@@ -67,7 +67,7 @@ void mbed_copy_nvic(void)
 
 /* Toolchain specific main code */
 
-#if defined (__CC_ARM)
+#if defined (__CC_ARM) || (defined(__ARMCC_VERSION) && (__ARMCC_VERSION >= 5010060))
 
 int $Super$$main(void);