mbed library sources. Supersedes mbed-src. Fixed broken STM32F1xx RTC on rtc_api.c

Dependents:   Nucleo_F103RB_RTC_battery_bkup_pwr_off_okay

Fork of mbed-dev by mbed official

Revision:
174:b96e65c34a4d
Parent:
160:d5399cc887bb
diff -r e131a1973e81 -r b96e65c34a4d platform/mbed_semihost_api.h
--- a/platform/mbed_semihost_api.h	Fri Sep 15 14:59:18 2017 +0100
+++ b/platform/mbed_semihost_api.h	Mon Oct 02 15:33:19 2017 +0100
@@ -28,7 +28,7 @@
 
 #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) {