aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorgatecat <gatecat@ds0.me>2021-06-16 12:34:36 +0100
committergatecat <gatecat@ds0.me>2021-06-16 12:34:36 +0100
commit1d88bea18b5a536935cdef2c5ca77e01b4daf8ac (patch)
tree84fdb5decf009d86f1342fafcb9283ee285365bd
parentc6681508f1a2e35d41e8fc6f1f5dec41972ef6fd (diff)
downloadyosys-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.cc2
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();