From: whitequark <whitequark@whitequark.org>
Date: Fri, 22 May 2020 20:08:39 +0000 (+0000)
Subject: Merge pull request #2072 from whitequark/cxxrtl-dont-purge
X-Git-Tag: working-ls180~542
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=721040df76c7095463ebf4f708f94bb236333f61;p=yosys.git

Merge pull request #2072 from whitequark/cxxrtl-dont-purge

cxxrtl: get rid of -O5 aka `opt_clean -purge` optimization level
---

721040df76c7095463ebf4f708f94bb236333f61