From 99ca3e442822b5ed8dc860a1aabc32dc3d9d52fc Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 24 Dec 2025 21:49:23 -0800
Subject: [PATCH] Commenting out troublesome code.

---
 src/opt/util/util.cpp | 4 ++++
 1 file changed, 4 insertions(+)

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 <typename Func>
@@ -123,6 +125,8 @@ void kill_on_parent_death(int sig)
 
   monitor_thread.detach();
 }
+  
+*/
 
 #else // neither linux or OS X