mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-14 01:46:16 +00:00
Code Activity

bugpoint.cc: WIN32 exit signals

Browse source
This commit is contained in:
Krystine Sherwin 2025-05-13 15:01:45 +12:00
parent 996539a26f
commit 50da04a75e
No known key found for this signature in database
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
passes/cmds/bugpoint.cc
View file

@ -20,6 +20,15 @@
#include "kernel/yosys.h" #include "kernel/yosys.h"
#include "backends/rtlil/rtlil_backend.h" #include "backends/rtlil/rtlil_backend.h"
#if defined(_WIN32)
# 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_YOSYS_NAMESPACE
using namespace RTLIL_BACKEND; using namespace RTLIL_BACKEND;
PRIVATE_NAMESPACE_BEGIN PRIVATE_NAMESPACE_BEGIN