diff options
Diffstat (limited to 'cad/yosys/files/patch-passes_cmds_bugpoint.cc')
| -rw-r--r-- | cad/yosys/files/patch-passes_cmds_bugpoint.cc | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/cad/yosys/files/patch-passes_cmds_bugpoint.cc b/cad/yosys/files/patch-passes_cmds_bugpoint.cc new file mode 100644 index 000000000000..af6de092e41e --- /dev/null +++ b/cad/yosys/files/patch-passes_cmds_bugpoint.cc @@ -0,0 +1,18 @@ +--- passes/cmds/bugpoint.cc.orig 2025-09-21 18:06:28 UTC ++++ passes/cmds/bugpoint.cc +@@ -22,13 +22,14 @@ + + #if defined(_WIN32) + # include <csignal> ++#endif ++ + # define WIFEXITED(x) 1 + # define WIFSIGNALED(x) 0 + # define WIFSTOPPED(x) 0 + # define WEXITSTATUS(x) ((x) & 0xff) + # define WTERMSIG(x) SIGTERM + # define WSTOPSIG(x) 0 +-#endif + + USING_YOSYS_NAMESPACE + using namespace RTLIL_BACKEND; |