fix for mbed lib issue 3 (i2c problem) see also https://mbed.org/users/mbed_official/code/mbed/issues/3 affected implementations: LPC812, LPC11U24, LPC1768, LPC2368, LPC4088

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