mbed library sources

Dependents:   Freedman_v2 Nucleo_i2c_OLED_BME280_copy

Fork of mbed-src by mbed official

Revision:
476:4dac56e9ae44
Parent:
473:44b5a0bc6da6
Child:
482:d9a48e768ce0
--- a/common/retarget.cpp	Mon Feb 16 08:45:06 2015 +0000
+++ b/common/retarget.cpp	Mon Feb 16 10:30:07 2015 +0000
@@ -493,6 +493,7 @@
 #elif defined TOOLCHAIN_GCC_ARM
 extern "C" void _exit(int return_code) {
 #else
+namespace std {
 extern "C" void exit(int return_code) {
 #endif
 
@@ -513,6 +514,10 @@
     while (1);
 }
 
+#if !defined(TOOLCHAIN_GCC_ARM) && !defined(TOOLCHAIN_GCC_CW)
+} //namespace std
+#endif
+
 
 namespace mbed {