From 41a6197208380d78f5eb99bd796208f76603399e Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Fri, 1 Sep 2017 10:05:38 -0500
Subject: [PATCH] Update mbed 2 discriminator

---
 platform/mbed_sdk_boot.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);