Merge pull request #2836 from YosysHQ/gatecat/pyosys-sigint
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 18 Jun 2021 10:07:50 +0000 (12:07 +0200)
committerGitHub <noreply@github.com>
Fri, 18 Jun 2021 10:07:50 +0000 (12:07 +0200)
commit5a73f296c9a57e24594f66ca936c8982388833dc
tree6348895cb10c424becd27134455e6e9196bf008c
parente2c9580024563be385ac9e892a978be3384990a8
parent1d88bea18b5a536935cdef2c5ca77e01b4daf8ac
Merge pull request #2836 from YosysHQ/gatecat/pyosys-sigint

pyosys: Clear SIGINT handler after Python loads