From: Claire Wolf <clifford@clifford.at>
Date: Thu, 30 Jan 2020 17:05:16 +0000 (+0100)
Subject: Merge pull request #1503 from YosysHQ/eddie/verific_help
X-Git-Tag: working-ls180~831
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=60876ce183ee5f3980c378e190d996453d59a780;p=yosys.git

Merge pull request #1503 from YosysHQ/eddie/verific_help

`verific` pass to print help message when command syntax error
---

60876ce183ee5f3980c378e190d996453d59a780