diff --git a/src/opt/util/util.cpp b/src/opt/util/util.cpp index 47101c36b..a1846d72b 100644 --- a/src/opt/util/util.cpp +++ b/src/opt/util/util.cpp @@ -76,6 +76,8 @@ void kill_on_parent_death(int sig) } } +/* + #elif defined(__APPLE__) template @@ -123,6 +125,8 @@ void kill_on_parent_death(int sig) monitor_thread.detach(); } + +*/ #else // neither linux or OS X