From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 18 Jul 2017 13:21:12 +0000 (+0200)
Subject: Merge pull request #363 from rqou/master
X-Git-Tag: yosys-0.8~387
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=dbb2f755c1150b45cce5870530d0d1e2be80f519;p=yosys.git

Merge pull request #363 from rqou/master

Miscellaneous build tweaks
---

dbb2f755c1150b45cce5870530d0d1e2be80f519