mbed library sources

Fork of mbed-src by mbed official

Revision:
8:4e25b8576136
Parent:
2:143cac498751
--- a/capi/exit.c	Wed Apr 24 15:11:33 2013 +0000
+++ b/capi/exit.c	Thu May 30 16:59:31 2013 +0100
@@ -16,7 +16,13 @@
 #include "semihost_api.h"
 #include "mbed_interface.h"
 
+#ifdef TOOLCHAIN_GCC_CW
+// TODO: Ideally, we would like to define directly "_ExitProcess"
+void mbed_exit(int return_code) {
+#else
 void exit(int return_code) {
+#endif
+
 #if DEVICE_SEMIHOST
     if (mbed_interface_connected()) {
         semihost_exit();