From 311a2739f66f8231174f5fc4d86064b6623fb6c7 Mon Sep 17 00:00:00 2001
From: "William D. Jones" <thor0505@comcast.net>
Date: Mon, 20 Oct 2025 19:50:18 -0400
Subject: [PATCH] Add sys/wait.h header to bugpoint to bring in constants.

---
 passes/cmds/bugpoint.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/passes/cmds/bugpoint.cc b/passes/cmds/bugpoint.cc
index 897dd8459..0ced09dd9 100644
--- a/passes/cmds/bugpoint.cc
+++ b/passes/cmds/bugpoint.cc
@@ -28,6 +28,8 @@
 #  define WEXITSTATUS(x) ((x) & 0xff)
 #  define WTERMSIG(x) SIGTERM
 #  define WSTOPSIG(x) 0
+#else
+#include <sys/wait.h>
 #endif
 
 USING_YOSYS_NAMESPACE