Merge pull request #1076 from thasti/centos7-build-fix
authorClifford Wolf <clifford@clifford.at>
Fri, 7 Jun 2019 09:48:33 +0000 (11:48 +0200)
committerGitHub <noreply@github.com>
Fri, 7 Jun 2019 09:48:33 +0000 (11:48 +0200)
Fix pyosys-build on CentOS7


Trivial merge