From b22a174c3919d321cef5fc6a90089e7c1b71b24b Mon Sep 17 00:00:00 2001
From: Jimmy Brisson <theotherjimmy@gmail.com>
Date: Tue, 29 Aug 2017 15:50:17 -0500
Subject: [PATCH] Correct semihosting check for ARMC6

---
 platform/mbed_semihost_api.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/platform/mbed_semihost_api.h b/platform/mbed_semihost_api.h
index 6d1caf56a0..9127c5ff00 100644
--- a/platform/mbed_semihost_api.h
+++ b/platform/mbed_semihost_api.h
@@ -28,7 +28,7 @@ extern "C" {
 
 #if DEVICE_SEMIHOST
 
-#ifndef __CC_ARM
+#if !defined(__CC_ARM) && !defined(__ARMCC_VERSION)
 
 #if defined(__ICCARM__)
 static inline int __semihost(int reason, const void *arg) {