Merge pull request #2134 from whitequark/cxxrtl-opt-debug
authorwhitequark <whitequark@whitequark.org>
Wed, 10 Jun 2020 11:51:04 +0000 (11:51 +0000)
committerGitHub <noreply@github.com>
Wed, 10 Jun 2020 11:51:04 +0000 (11:51 +0000)
commit8f1a32064639fa17d67bda508df941c8846a0664
treef37eebf7b68c49248ac4966dce35449268de698e
parentb2a0f49371170deb9c19bb9444c1c997fc1d1917
parent5467fe563a9b1d4db508f10b99e34e4d3fbf4675
Merge pull request #2134 from whitequark/cxxrtl-opt-debug

cxxrtl: introduce -Og optimization level