From: David Shah <dave@ds0.me>
Date: Mon, 29 Jul 2019 14:50:20 +0000 (+0100)
Subject: Merge pull request #1234 from mmicko/fix_gzip_no_exist
X-Git-Tag: working-ls180~1179
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ccf759864ad0070faa9e4cbe1609389b4885f7c0;p=yosys.git

Merge pull request #1234 from mmicko/fix_gzip_no_exist

Fix case when file does not exist
---

ccf759864ad0070faa9e4cbe1609389b4885f7c0