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)
cxxrtl: introduce -Og optimization level


Trivial merge