Merge pull request #1404 from YosysHQ/fix_gzip_macos
authorClifford Wolf <clifford@clifford.at>
Fri, 27 Sep 2019 07:57:28 +0000 (09:57 +0200)
committerGitHub <noreply@github.com>
Fri, 27 Sep 2019 07:57:28 +0000 (09:57 +0200)
commit7bde555481e4492bb0d133ea6fcec59af95fbbbe
tree8fedcce7a8b2b3e05dff670bf7ab2b0fa4cc7a96
parent143f82def2030527a4fa92b7ba60b704aad08e53
parent435300f9304a230680bdc054d0f0b3a3205b05f7
Merge pull request #1404 from YosysHQ/fix_gzip_macos

Make read/write gzip files on macos works, fixes #1357