Merge pull request #1295 from YosysHQ/eddie/fix_travis
authorClifford Wolf <clifford@clifford.at>
Thu, 15 Aug 2019 08:20:22 +0000 (10:20 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Aug 2019 08:20:22 +0000 (10:20 +0200)
commit5422007400bf6f9860d1a230b561fe4fa64f0d32
tree9bbda83f2b0afb9ddcd407f13161549f8defd989
parente2797f13084931b55d7f1759cdedfecd9eb91268
parent4c2a2e275f67778bcfb40a983d9ba868cbe04ebc
Merge pull request #1295 from YosysHQ/eddie/fix_travis

Fix Travis CI