From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 7 Jun 2019 09:48:33 +0000 (+0200)
Subject: Merge pull request #1076 from thasti/centos7-build-fix
X-Git-Tag: yosys-0.9~83
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7116621d221d5c35e7ca8c5f0fa79771ae3a4173;p=yosys.git

Merge pull request #1076 from thasti/centos7-build-fix

Fix pyosys-build on CentOS7
---

7116621d221d5c35e7ca8c5f0fa79771ae3a4173