diff --git a/src/opt/util/util.cpp b/src/opt/util/util.cpp index b06e2ba7e..f20588466 100755 --- a/src/opt/util/util.cpp +++ b/src/opt/util/util.cpp @@ -50,10 +50,14 @@ void OptMgr::PrintUsage() { } } +ABC_NAMESPACE_IMPL_END + #ifdef __linux__ #include +ABC_NAMESPACE_IMPL_START + void kill_on_parent_death(int sig) { // kill process if parent dies @@ -67,6 +71,8 @@ void kill_on_parent_death(int sig) } } +ABC_NAMESPACE_IMPL_END + #elif defined(__APPLE__) #include @@ -78,6 +84,8 @@ void kill_on_parent_death(int sig) #include #include +ABC_NAMESPACE_IMPL_START + template static auto retry_eintr(Func &&fn) -> decltype(fn()) { @@ -124,12 +132,16 @@ void kill_on_parent_death(int sig) monitor_thread.detach(); } +ABC_NAMESPACE_IMPL_END + #else // neither linux or OS X +ABC_NAMESPACE_IMPL_START + void kill_on_parent_death(int sig) { } -#endif - ABC_NAMESPACE_IMPL_END + +#endif