diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2021-06-18 12:07:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-18 12:07:50 +0200 |
| commit | 5a73f296c9a57e24594f66ca936c8982388833dc (patch) | |
| tree | 6348895cb10c424becd27134455e6e9196bf008c | |
| parent | e2c9580024563be385ac9e892a978be3384990a8 (diff) | |
| parent | 1d88bea18b5a536935cdef2c5ca77e01b4daf8ac (diff) | |
| download | yosys-5a73f296c9a57e24594f66ca936c8982388833dc.tar.gz yosys-5a73f296c9a57e24594f66ca936c8982388833dc.tar.bz2 yosys-5a73f296c9a57e24594f66ca936c8982388833dc.zip | |
Merge pull request #2836 from YosysHQ/gatecat/pyosys-sigint
pyosys: Clear SIGINT handler after Python loads
| -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(); |