mbed library sources
Fork of mbed-src by
Diff: capi/exit.c
- Revision:
- 8:4e25b8576136
- Parent:
- 2:143cac498751
diff -r 3a1b3e92fa02 -r 4e25b8576136 capi/exit.c --- 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();