From 1d88bea18b5a536935cdef2c5ca77e01b4daf8ac Mon Sep 17 00:00:00 2001
From: gatecat <gatecat@ds0.me>
Date: Wed, 16 Jun 2021 12:34:36 +0100
Subject: [PATCH] pyosys: Clear SIGINT handler after Python loads

Signed-off-by: gatecat <gatecat@ds0.me>
---
 kernel/yosys.cc | 2 ++
 1 file changed, 2 insertions(+)

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();
-- 
2.30.2