diff options
| author | David Shah <dave@ds0.me> | 2019-07-29 15:50:20 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-29 15:50:20 +0100 |
| commit | ccf759864ad0070faa9e4cbe1609389b4885f7c0 (patch) | |
| tree | 453cef6a42b6efbcdc8c01265279f88e03df6aab /passes/opt | |
| parent | 6538671c84a12114a991d59569eede3e0d368758 (diff) | |
| parent | 3e4307c104f5caf0f3449421a75b19e7c90a71fe (diff) | |
| download | yosys-ccf759864ad0070faa9e4cbe1609389b4885f7c0.tar.gz yosys-ccf759864ad0070faa9e4cbe1609389b4885f7c0.tar.bz2 yosys-ccf759864ad0070faa9e4cbe1609389b4885f7c0.zip | |
Merge pull request #1234 from mmicko/fix_gzip_no_exist
Fix case when file does not exist
Diffstat (limited to 'passes/opt')
0 files changed, 0 insertions, 0 deletions