diff options
author | gatecat <gatecat@ds0.me> | 2021-06-16 12:34:36 +0100 |
---|---|---|
committer | gatecat <gatecat@ds0.me> | 2021-06-16 12:34:36 +0100 |
commit | 1d88bea18b5a536935cdef2c5ca77e01b4daf8ac (patch) | |
tree | 84fdb5decf009d86f1342fafcb9283ee285365bd | |
parent | c6681508f1a2e35d41e8fc6f1f5dec41972ef6fd (diff) | |
download | yosys-1d88bea18b5a536935cdef2c5ca77e01b4daf8ac.tar.gz yosys-1d88bea18b5a536935cdef2c5ca77e01b4daf8ac.tar.bz2 yosys-1d88bea18b5a536935cdef2c5ca77e01b4daf8ac.zip |
pyosys: Clear SIGINT handler after Python loads
Signed-off-by: gatecat <gatecat@ds0.me>
-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(); |