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)
Make read/write gzip files on macos works, fixes #1357


Trivial merge