Merge pull request #2072 from whitequark/cxxrtl-dont-purge
authorwhitequark <whitequark@whitequark.org>
Fri, 22 May 2020 20:08:39 +0000 (20:08 +0000)
committerGitHub <noreply@github.com>
Fri, 22 May 2020 20:08:39 +0000 (20:08 +0000)
commit721040df76c7095463ebf4f708f94bb236333f61
treeccb5120f2531c251ca636b2eaf545ad8c83ad40a
parent4f0f32116956782059d415a13ac52bf056634d6f
parent281c96856aec2fac0aa79a52484068f7e386b586
Merge pull request #2072 from whitequark/cxxrtl-dont-purge

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