diff options
Diffstat (limited to 'kernel/yosys.cc')
| -rw-r--r-- | kernel/yosys.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc index cb6fdc2f4..f543447bd 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -71,6 +71,7 @@ #include <limits.h> #include <errno.h> +#include <signal.h> YOSYS_NAMESPACE_BEGIN @@ -540,6 +541,7 @@ void yosys_setup() PyImport_AppendInittab((char*)"libyosys", INIT_MODULE); Py_Initialize(); PyRun_SimpleString("import sys"); + signal(SIGINT, SIG_DFL); #endif Pass::init_register(); |