ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #917 from 0xc0170/fix_exit_retarget 

Fix for #908, exit req std namespace
pull/918/head
Martin Kojtal 2015-02-16 10:25:33 +00:00
parent c9e7f409af 15ee1ca2dc
commit 4c8c94f4ef
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
libraries/mbed/common/retarget.cpp
View File

@ -493,6 +493,7 @@ extern "C" void mbed_exit(int return_code) {
#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 @@ extern "C" void exit(int return_code) {
while (1);
}
#if !defined(TOOLCHAIN_GCC_ARM) && !defined(TOOLCHAIN_GCC_CW)
} //namespace std
#endif
namespace mbed {