mbed library sources. Supersedes mbed-src.

Dependents:   BREAK_SENSOR_LED

Fork of mbed-dev by mbed official

Revision:
174:b96e65c34a4d
Parent:
172:7d866c31b3c5
diff -r e131a1973e81 -r b96e65c34a4d targets/TARGET_NUVOTON/mbed_rtx.h
--- a/targets/TARGET_NUVOTON/mbed_rtx.h	Fri Sep 15 14:59:18 2017 +0100
+++ b/targets/TARGET_NUVOTON/mbed_rtx.h	Mon Oct 02 15:33:19 2017 +0100
@@ -21,7 +21,7 @@
 
 #if defined(TARGET_NUVOTON)
 
-#if defined(__CC_ARM)
+#if defined(__CC_ARM) || (defined(__ARMCC_VERSION) && (__ARMCC_VERSION >= 6010050))
     extern uint32_t               Image$$ARM_LIB_HEAP$$ZI$$Base[];
     extern uint32_t               Image$$ARM_LIB_HEAP$$ZI$$Length[];
     extern uint32_t               Image$$ARM_LIB_STACK$$ZI$$Base[];