From: clairexen <claire@symbioticeda.com>
Date: Wed, 1 Jul 2020 17:19:08 +0000 (+0200)
Subject: Merge pull request #94 from nakengelhardt/fix_93
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=18ce85eb02fc65fec25c16cf8eb7585a5b263e1c;p=SymbiYosys.git

Merge pull request #94 from nakengelhardt/fix_93

ignore race condition in killing already-terminated process
---

18ce85eb02fc65fec25c16cf8eb7585a5b263e1c