From: whitequark <whitequark@whitequark.org>
Date: Fri, 1 Jan 2021 09:39:17 +0000 (+0000)
Subject: Merge pull request #2512 from umarcor/plugin-err
X-Git-Tag: working-ls180~132
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1387c3b41deb4b394745f19aa08ec3c7249c48b9;p=yosys.git

Merge pull request #2512 from umarcor/plugin-err

plugin: enhance no-plugin error
---

1387c3b41deb4b394745f19aa08ec3c7249c48b9